Commit 7a5fdf9c authored Feb 01, 2019 by Andreas Klöckner

Merge branch 'fix-ci' into 'master'

Fix ci

See merge request !6