Merge branch 'hruska-feature-latest-python' into 'devel'
Passed
Rajmund Hruška
created pipeline for commit
2a237cfa
, finished
For hruska-feature-improve-documentation
1 minute 51 seconds, queued for 0 seconds