Merge branch 'retirement' into 'master'
Passed
JACQUOT Pierre
created pipeline for commit
488d7555
, finished
For master
8 minutes 47 seconds, queued for 1 seconds