]> git.openstreetmap.org Git - chef.git/commitdiff
Merge branch 'master' of ssh://git.openstreetmap.org/var/lib/git/public/chef
authorGuillaume RISCHARD <git@stereo.lu>
Thu, 26 Mar 2020 14:36:36 +0000 (15:36 +0100)
committerGuillaume RISCHARD <git@stereo.lu>
Thu, 26 Mar 2020 14:36:36 +0000 (15:36 +0100)

Trivial merge