Merge pull request #2913 from br101/master
authorchamptar <champetier.etienne@gmail.com>
Sat, 2 Jul 2016 07:06:46 +0000 (09:06 +0200)
committerGitHub <noreply@github.com>
Sat, 2 Jul 2016 07:06:46 +0000 (09:06 +0200)
commit07ed7758403ccdd3de05692decd2595d2035359f
tree347aafbde2797f71bc9662a0050f7a43eb21ad03
parentc3e815cf405dc3ed9423d552b526ed02cb540358
parentfd0ffb238848ab162956e31ad1dd66333ccfe98f
Merge pull request #2913 from br101/master

horst: Use version 5.0