Skip to content

Fix the name of a country.#6852

Open
bangerth wants to merge 1 commit intogeodynamics:mainfrom
bangerth:the
Open

Fix the name of a country.#6852
bangerth wants to merge 1 commit intogeodynamics:mainfrom
bangerth:the

Conversation

@bangerth
Copy link
Contributor

@bangerth bangerth commented Feb 9, 2026

@cedrict -- you've got rights to merge patches. Want to take this one? ;-)

The proper name is 'The Netherlands'.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants