Skip to content
Snippets Groups Projects

Merge branch 'selection' into 'master'

Warning
Aleš Mrázek created pipeline for commit b21b33ba
, finished
For master
Scheduled
16 jobs 127 minutes 37 seconds, queued for 1 seconds