From: Sarah Hoffmann Date: Fri, 10 Apr 2020 06:46:50 +0000 (+0200) Subject: Merge pull request #1742 from mtmail/travis-ci-add-os X-Git-Tag: v3.5.0~46 X-Git-Url: https://git.openstreetmap.org./nominatim.git/commitdiff_plain/37ef9bb3d396508a0d2d7a00807056ca666cba38?ds=inline Merge pull request #1742 from mtmail/travis-ci-add-os Travis-Ci configuration: remove -sudo-, add -os- --- 37ef9bb3d396508a0d2d7a00807056ca666cba38