Merge remote-tracking branch 'github/pr/728'.
authorPatrice Clement <monsieurp@gentoo.org>
Thu, 28 Jan 2016 09:42:14 +0000 (09:42 +0000)
committerPatrice Clement <monsieurp@gentoo.org>
Thu, 28 Jan 2016 09:42:14 +0000 (09:42 +0000)

Trivial merge