Skip to content
Snippets Groups Projects

Merge branch 'feature/219/gui-record-options' into 'master'

Passed
Nicolas Pope created pipeline for commit 39149bc2
, finished
For master
3 jobs 16 minutes 34 seconds, queued for 4 seconds