From: Sarah Hoffmann Date: Thu, 7 May 2020 18:46:44 +0000 (+0200) Subject: Merge pull request #1780 from Simon-Will/1768-vagrant-installation-for-ubuntu-20 X-Git-Tag: v3.5.0~22 X-Git-Url: https://git.openstreetmap.org./nominatim.git/commitdiff_plain/6e39ed9573f1dcf5ea905815b2a33dfaf2deaa93 Merge pull request #1780 from Simon-Will/1768-vagrant-installation-for-ubuntu-20 Add vagrant machine for Ubuntu 20.04 --- 6e39ed9573f1dcf5ea905815b2a33dfaf2deaa93