]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #1010 from lonvia/ignore-unicode-format-characters
authorSarah Hoffmann <lonvia@denofr.de>
Tue, 10 Apr 2018 21:48:58 +0000 (23:48 +0200)
committerGitHub <noreply@github.com>
Tue, 10 Apr 2018 21:48:58 +0000 (23:48 +0200)
Ignore Unicode format characters for normalization


Trivial merge