Skip to content
Snippets Groups Projects

Merge branch '302-factors-renaming-2' into 'devel'

Passed
Joan Solà Ortega created pipeline for commit d6c1888e
, finished
For devel
1 job 7 minutes 48 seconds, queued for 3 seconds