Merge branch 'minor_fixes_1_8_1'
Passed
Sebastian Bernd Mohr
created pipeline for commit
2606e7c2
, finished
For v1.8.1
6 minutes 11 seconds, queued for 3 seconds