Skip to content
Snippets Groups Projects

Merge branch '85-abstract' into 'master'

Passed
Andri Joos created pipeline for commit d8d6cc2d
, finished
For master
3 jobs 2 minutes 17 seconds, queued for 2 seconds