From: Sarah Hoffmann Date: Tue, 13 Jun 2023 10:31:10 +0000 (+0200) Subject: Merge pull request #3073 from mtmail/vagrantfile-remove-ubuntu-18 X-Git-Tag: v4.3.0~73 X-Git-Url: https://git.openstreetmap.org./nominatim.git/commitdiff_plain/9af190a43cfb892cbc2e0273e2a86c34507a5e89 Merge pull request #3073 from mtmail/vagrantfile-remove-ubuntu-18 Vagrantfile - remove Ubuntu 18 --- 9af190a43cfb892cbc2e0273e2a86c34507a5e89