Skip to content
Snippets Groups Projects

Merge branch '17-karsten-research-topic' into 'dev'

Passed
Fabian Nuraddin Alexander Gabel created pipeline for commit 8c13dcba
, finished
1 related merge request: !43 incorporate changes from dev
2 jobs 50 seconds, queued for 10 seconds