]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #2641 from lonvia/reinit-tokenizer-dir
authorSarah Hoffmann <lonvia@denofr.de>
Sun, 20 Mar 2022 20:46:07 +0000 (21:46 +0100)
committerGitHub <noreply@github.com>
Sun, 20 Mar 2022 20:46:07 +0000 (21:46 +0100)
Transparantly reinitialize tokenizer directory when necessary


Trivial merge