Merge branch 'develop' into 'release_v1.2.0'
Passed
created pipeline for commit
b3858d34
, finished
1 related merge request: !225 Resolve "release v1.2.0"
15 minutes 47 seconds, queued for 1 seconds