Merge remote-tracking branch 'origin/master'
authorSylvain Papa <sylvain.papa@yahoo.fr>
Thu, 17 Jan 2019 15:04:51 +0000 (16:04 +0100)
committerSylvain Papa <sylvain.papa@yahoo.fr>
Thu, 17 Jan 2019 15:04:51 +0000 (16:04 +0100)

Trivial merge