]> git.openstreetmap.org Git - nominatim.git/commit
Merge pull request #3073 from mtmail/vagrantfile-remove-ubuntu-18
authorSarah Hoffmann <lonvia@denofr.de>
Tue, 13 Jun 2023 10:31:10 +0000 (12:31 +0200)
committerGitHub <noreply@github.com>
Tue, 13 Jun 2023 10:31:10 +0000 (12:31 +0200)
commit9af190a43cfb892cbc2e0273e2a86c34507a5e89
treef7e97c40765697414d5eeea59b50ade71be9aa80
parenta413aae8a3962be4d623844d867604df68a9a211
parent2e46bc0aea00e55fa2bb776e70723f308f40ded5
Merge pull request #3073 from mtmail/vagrantfile-remove-ubuntu-18

Vagrantfile - remove Ubuntu 18