Skip to content
Snippets Groups Projects

Merge branch 'issue/optional-no-copy' into 'master'

Passed
Praetorius, Simon created pipeline for commit d3cc7d5e
, finished
For master
6 jobs 16 minutes 37 seconds, queued for 5 seconds