]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #1690 from lonvia/parenting-large-rank-30-areas
authorSarah Hoffmann <lonvia@denofr.de>
Wed, 19 Feb 2020 08:20:12 +0000 (09:20 +0100)
committerGitHub <noreply@github.com>
Wed, 19 Feb 2020 08:20:12 +0000 (09:20 +0100)
improve parenting for large areas with rank 30


Trivial merge