Merge pull request #2914 from br101/for-15.05
authorchamptar <champetier.etienne@gmail.com>
Sun, 3 Jul 2016 21:45:21 +0000 (23:45 +0200)
committerGitHub <noreply@github.com>
Sun, 3 Jul 2016 21:45:21 +0000 (23:45 +0200)
horst: Use version 5.0


Trivial merge