Merge remote-tracking branch 'github/pr/727'.
authorPatrice Clement <monsieurp@gentoo.org>
Wed, 27 Jan 2016 09:03:55 +0000 (09:03 +0000)
committerPatrice Clement <monsieurp@gentoo.org>
Wed, 27 Jan 2016 09:04:10 +0000 (09:04 +0000)

Trivial merge