Merge branch 'f-release-0.1' into f-doc-extended
Passed
Timm Fitschen
created pipeline for commit
097623e3
, finished
1 related merge request: !33 Release 0.1
24 minutes 58 seconds, queued for 9 seconds