-
Volker Krause authored
This has side-effects as some border elements are also tagged for other uses (rivers in particular), we want to keep those.
dd1d0a83
This has side-effects as some border elements are also tagged for other uses (rivers in particular), we want to keep those.