Merge branch 'hedgedoc' into 'master'
Passed
Thomas Schneider
created pipeline for commit
579dc2ad
, finished
For master
1 minute 28 seconds, queued for 6 seconds