Merge branch 'grat' into 'master'
Passed
BERARD Benjamin
created pipeline for commit
d42f2f91
, finished
For master
10 minutes 43 seconds, queued for 33 seconds