Merge branch 'esterel6' into 'master'
Passed
Nicolas Perrin
created pipeline for commit
2c7d7b81
, finished
For master
7 minutes 20 seconds, queued for 0 seconds