Merge branch 'correction_exos' into 'master'
Passed
orestis.malaspin
created pipeline for commit
c43bc90d
, finished
For master
40 seconds, queued for 3 seconds