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)
commita315fd65a8e9a3b3d45fa8da043015c53cd23373
tree4f7661dc19db41be189d0f672d52686d5909f8a2
parentdf9eb01b4d6647c311cb6a272a36508840335f78
parentf59dbcfd7a7a912eb745598e14031a10fa24aff1
Merge pull request #2914 from br101/for-15.05

horst: Use version 5.0