hydro-devel doesn't exist in my repository, switching back to master branch
Merge pull request #5753 from Sahloul/master

hydro-devel doesn't exist in my repository, switching back to master bra...