Merge branch 'develop' of github.com:pietervdvn/MapComplete into develop

This commit is contained in:
pietervdvn 2021-11-14 16:57:30 +01:00
commit c940890eca

View file

@ -469,7 +469,9 @@
"toilets:position!=urinal" "toilets:position!=urinal"
] ]
} }
} },
"level",
"description"
], ],
"filter": [ "filter": [
{ {