Skip to content
Snippets Groups Projects

Minor change.

Passed
Reiner Jung created pipeline for commit 9fbd6194
, finished
1 related merge request: !13 Conf 25
9 jobs 19 minutes 20 seconds, queued for 2 seconds