From: ThomasBarris Date: Fri, 31 Aug 2018 20:01:53 +0000 (+0200) Subject: more format changes for Mr. Travis X-Git-Tag: v3.3.0~84^2~6 X-Git-Url: https://git.openstreetmap.org./nominatim.git/commitdiff_plain/aa6ac5a75130c066e2b46af0a12d3fe71e614d1b?hp=aa6ac5a75130c066e2b46af0a12d3fe71e614d1b more format changes for Mr. Travis ---