Oops, I broke them. To compensate, let's make GitLab run them from now on.
added 3 commits
apertis/v2019dev0
Compare with previous version
merged