Merge branch 'master' of ssh://wpitchoune.net/srv/git/pnews
authorJean-Philippe Orsini <orsinije@fr.ibm.com>
Fri, 13 Oct 2017 15:47:00 +0000 (17:47 +0200)
committerJean-Philippe Orsini <orsinije@fr.ibm.com>
Fri, 13 Oct 2017 15:47:00 +0000 (17:47 +0200)

No differences found