From: Sarah Hoffmann Date: Tue, 29 Nov 2022 09:33:16 +0000 (+0100) Subject: Merge pull request #2908 from n-timofeev/update-vagrantfile X-Git-Tag: v4.3.0~130 X-Git-Url: https://git.openstreetmap.org./nominatim.git/commitdiff_plain/b607eb9678c23a1063fb831e77aa7c7c34929c4e Merge pull request #2908 from n-timofeev/update-vagrantfile Update Vagrantfile --- b607eb9678c23a1063fb831e77aa7c7c34929c4e