Merge branch 'master' into 'master'
Passed
Sébastien Villemot
created pipeline for commit
4191cec9
, finished
For master
3 minutes 48 seconds, queued for 10 seconds