Skip to content
Snippets Groups Projects

Merge branch 'skills/optionals-in-manager-gui' into 'master'

Passed
Rainer Kartmann created pipeline for commit 064c9202
, finished
For master
6 jobs 56 minutes 53 seconds, queued for 2 seconds