]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #2006 from mtmail/ubuntu-20-postgresql-contrib
authorSarah Hoffmann <lonvia@denofr.de>
Sun, 11 Oct 2020 07:45:37 +0000 (09:45 +0200)
committerGitHub <noreply@github.com>
Sun, 11 Oct 2020 07:45:37 +0000 (09:45 +0200)
Ubuntu 20: use postgresql-contrib-12 so no version higher gets installed


Trivial merge