Merge branch 'hruska-feature-multiple-python-versions' into 'devel'
Passed
Rajmund Hruška
created pipeline for commit 01d9b26d
, finished
For hruska-feature-improve-documentation
1 minute 27 seconds, queued for 0 seconds