]> git.openstreetmap.org Git - nominatim.git/commit
Merge pull request #1814 from lonvia/disable-jit
authorSarah Hoffmann <lonvia@denofr.de>
Mon, 1 Jun 2020 20:13:07 +0000 (22:13 +0200)
committerGitHub <noreply@github.com>
Mon, 1 Jun 2020 20:13:07 +0000 (22:13 +0200)
commit3661c75b393f6094204c72d754c57cd5ce1e66af
tree2c0be25e6cd7f3101ae22802cbb6521b5e800e07
parent4956f5e71043736d6d4dcc7b481b84e03958a3ec
parent3b20b11a9fb87dee1c73412366abe9a3eb5891a5
Merge pull request #1814 from lonvia/disable-jit

Disable JIT and parallel workers when indexing