Skip to content
Snippets Groups Projects

Merge branch 'master' into generic-resource-support

Passed
Sören Henning created pipeline for commit dc814193
, finished
Related merge request !257 to merge generic-resource-support
merge request
16 jobs 7 minutes 1 second, queued for 1 seconds