]> git.openstreetmap.org Git - nominatim.git/commit
Merge pull request #1931 from lonvia/stable-sort-for-results
authorSarah Hoffmann <lonvia@denofr.de>
Wed, 26 Aug 2020 18:52:17 +0000 (20:52 +0200)
committerGitHub <noreply@github.com>
Wed, 26 Aug 2020 18:52:17 +0000 (20:52 +0200)
commita932855f6f4def45d2d403f34b0200bc826546e9
tree3fcb3a22836123267becab4b286003704827a459
parent77a13292850d623db049d695f0bebb59b02d9ae5
parent72ee1abc90b11d4afefada38bb60b09e37c8e863
Merge pull request #1931 from lonvia/stable-sort-for-results

Reranking of results must be stable