Merge branch 'dev' into 'master'
Passed
ronan.vignard
created pipeline for commit
b4c15b8d
, finished
For 0.1.2
9 minutes 52 seconds, queued for 2 seconds