Skip to content
Snippets Groups Projects

Merge branch 'feature/multithreading_patch' into 'devel'

Passed
Joan Vallvé Navarro created pipeline for commit bb6f5711
, finished
For devel
1 job 16 minutes 12 seconds, queued for 0 seconds