Merge branch 'pi2' into 'master'
Warning
RINGOT Patrice
created pipeline for commit
874043de
, finished
For master
16 minutes 16 seconds, queued for 5 seconds