Merge branch 'docs' into 'develop'
Passed
created pipeline for commit
9825a857
, finished
1 related merge request: !1028 `master` refresh with `develop`
4 minutes 31 seconds, queued for 1 seconds