DOC: Extended previous commit.
Failed
Daniel Hornung
created pipeline for commit
bb4f27fe
, finished
1 related merge request: !30 Debug build
2 minutes 4 seconds, queued for 6 seconds