Merge branch 'develop' of ssh://git.dsv.su.se/git/scipro/scipro into develop
* 'develop' of ssh://git.dsv.su.se/git/scipro/scipro: Hotfix to support automated builds/tests
This commit is contained in:
commit
481261aa39
* 'develop' of ssh://git.dsv.su.se/git/scipro/scipro: Hotfix to support automated builds/tests