Merge branch 'update_documentation' into 'master'
Passed
Markus Holzer
created pipeline for commit
5798a40b
, finished
For master
12 minutes 59 seconds, queued for 2 seconds