]> git.openstreetmap.org Git - nominatim.git/search
log progress to stderr instead of stdout, to make use of unbuffered output