Merge branch 'hruska-feature-improve-documentation' into 'devel'
Passed
Rajmund Hruška
created pipeline for commit
70e2f1ec
, finished
1 related merge request: !6 0.1.14
2 minutes 48 seconds, queued for 1 seconds