]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #1934 from lonvia/fix-deletion-of-large-highway-areas
authorSarah Hoffmann <lonvia@denofr.de>
Fri, 28 Aug 2020 08:08:42 +0000 (10:08 +0200)
committerGitHub <noreply@github.com>
Fri, 28 Aug 2020 08:08:42 +0000 (10:08 +0200)
Do not block deletion of large highway areas


Trivial merge