Merge branch 'PR1638'
authorNicolas Thill <redacted>
Tue, 4 Aug 2015 02:15:18 +0000 (04:15 +0200)
committerNicolas Thill <redacted>
Tue, 4 Aug 2015 02:15:18 +0000 (04:15 +0200)

Trivial merge
git clone https://git.99rst.org/PROJECT