Merge branch 'f-installer' into 'dev'
Passed
Florian Spreckelsen
created pipeline for commit
fb53d460
, finished
For dev
4 minutes 44 seconds, queued for 4 seconds