Merge branch 'gratk' into 'master'
Passed
RINGOT Patrice
created pipeline for commit
a53b54e2
, finished
For master
5 minutes 42 seconds, queued for 2 seconds