Merge branch 'dev' into f-extern2
Passed
Henrik tom Wörden
created pipeline for commit 59471ef2
, finished
1 related merge request: !19 MAINT: further tests and docs
22 minutes 2 seconds, queued for 5 seconds