Merge branch 'dev' into 'master'
Passed
Maxence Naud
created pipeline for commit
832d856b
, finished
For master
10 minutes 44 seconds, queued for 4 seconds