]> git.openstreetmap.org Git - nominatim.git/commitdiff
no type checking on old Ubuntu 18
authorSarah Hoffmann <lonvia@denofr.de>
Wed, 14 Dec 2022 20:24:02 +0000 (21:24 +0100)
committerSarah Hoffmann <lonvia@denofr.de>
Tue, 3 Jan 2023 09:03:00 +0000 (10:03 +0100)

No differences found