Merge branch 'master' of ssh://git.openstreetmap.org/var/lib/git/public/chef
authorGuillaume RISCHARD <git@stereo.lu>
Sun, 12 Jan 2020 22:32:07 +0000 (23:32 +0100)
committerGuillaume RISCHARD <git@stereo.lu>
Sun, 12 Jan 2020 22:32:07 +0000 (23:32 +0100)

Trivial merge