From: mtmail Date: Mon, 30 Oct 2017 11:38:55 +0000 (+0100) Subject: Merge pull request #843 from matejkrajcovic/patch-1 X-Git-Tag: v3.1.0~20 X-Git-Url: https://git.openstreetmap.org./nominatim.git/commitdiff_plain/f79434f49d36c8e96bf00f750a7085685b001f6d Merge pull request #843 from matejkrajcovic/patch-1 Fix typos in introduction.php --- f79434f49d36c8e96bf00f750a7085685b001f6d