From: Sarah Hoffmann <lonvia@denofr.de>
Date: Thu, 23 May 2019 21:54:29 +0000 (+0200)
Subject: Merge pull request #1387 from joto/master
X-Git-Tag: v3.4.0~42
X-Git-Url: https://git.openstreetmap.org./nominatim.git/commitdiff_plain/17f130550ee77da527812e14dcadaea14b00e72f

Merge pull request #1387 from joto/master

Fix some minor issues in docs.
---

17f130550ee77da527812e14dcadaea14b00e72f