Vast extensions to documentation
Passed
Frederik Hennig
created pipeline for commit
b0ee2247
, finished
For master
2 minutes 45 seconds, queued for 1 seconds