Merge branch 'del-old-files' into 'master'
Passed
Florian Hindenlang
created pipeline for commit
6e7163cb
, finished
For fix.cleanup
3 minutes 8 seconds, queued for 1 seconds