Merge pull request #2913 from br101/master
authorchamptar <redacted>
Sat, 2 Jul 2016 07:06:46 +0000 (09:06 +0200)
committerGitHub <redacted>
Sat, 2 Jul 2016 07:06:46 +0000 (09:06 +0200)
horst: Use version 5.0


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