Merge remote-tracking branch 'github/pr/712'.
authorPatrice Clement <monsieurp@gentoo.org>
Sat, 23 Jan 2016 17:54:04 +0000 (17:54 +0000)
committerPatrice Clement <monsieurp@gentoo.org>
Sat, 23 Jan 2016 17:54:22 +0000 (17:54 +0000)
commit3575ba089e3b04dcd45c2d9e7d1ff19a38f0d87a
tree3a9091eceb6f81b4e85397af4bd3becc911e7011
parentf753262e119064afbaf11b171be9c33aff217557
parent8468f33a4a073950700d0bba6eec0ea9802bef42
Merge remote-tracking branch 'github/pr/712'.