Merge branch 'master' of ssh://wpitchoune.net/srv/git/pnews
authorJean-Philippe Orsini <orsinije@fr.ibm.com>
Thu, 12 Oct 2017 05:23:29 +0000 (07:23 +0200)
committerJean-Philippe Orsini <orsinije@fr.ibm.com>
Thu, 12 Oct 2017 05:23:29 +0000 (07:23 +0200)

Trivial merge