Merge branch 'fix/clone-dumux-source-branch' into 'master'

[ci] clone dumux source branch

See merge request !149
1 job for master