Merge branch 'hh_ci' into 'master'
Passed
Henk van der Veen
created pipeline for commit
7a15cb3a
, finished
For v0.1.0
1 minute 26 seconds, queued for 2 seconds