Skip to content
Snippets Groups Projects

Merge branch '85-abstract' into 'master'

Passed
Andri Joos created pipeline for commit d8d6cc2d
, finished
For 98-fix_report
3 jobs 2 minutes 14 seconds, queued for 3 seconds