]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #3667 from eumiro/simplify-int-float
authorSarah Hoffmann <lonvia@denofr.de>
Sun, 9 Mar 2025 08:44:15 +0000 (09:44 +0100)
committerGitHub <noreply@github.com>
Sun, 9 Mar 2025 08:44:15 +0000 (09:44 +0100)
Simplify  int/float manipulation


Trivial merge