Merge branch 'dev' into f-docs-pylib
Passed
Daniel Hornung
created pipeline for commit 69bc9650
, finished
1 related merge request: !40 fixed rst syntax
1 minute 15 seconds, queued for 4 seconds