Skip to content
Snippets Groups Projects

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

Passed
Iiro Rastas created pipeline for commit 002e0617
, finished
1 related merge request: !179 Feature/219/gui record options
branch
2 jobs 10 minutes 22 seconds, queued for 2 seconds