Merge branch 'fhennig/source-files' into 'master'
Passed
Christoph Alt
created pipeline for commit
e37859ff
, finished
For master
2 minutes 26 seconds, queued for 5 seconds