From: Sarah Hoffmann Date: Tue, 16 Feb 2021 13:42:38 +0000 (+0100) Subject: Merge pull request #2171 from lonvia/update-vagrant-scripts-for-make-install X-Git-Tag: v3.7.0~36 X-Git-Url: https://git.openstreetmap.org/nominatim.git/commitdiff_plain/684378722c46925753be4c933b6d3ff3ce35cdc1 Merge pull request #2171 from lonvia/update-vagrant-scripts-for-make-install Update vagrant scripts for make install --- 684378722c46925753be4c933b6d3ff3ce35cdc1