Merge remote-tracking branch 'github/pull/234'
authorGrant Slater <openstreetmap@firefishy.com>
Tue, 30 Apr 2019 12:54:00 +0000 (13:54 +0100)
committerTom Hughes <tom@compton.nu>
Thu, 2 May 2019 08:50:37 +0000 (09:50 +0100)

Trivial merge