Merge branch 'resid' into 'master'
Passed
Sébastien Villemot
created pipeline for commit
1b0e5581
, finished
For master
2 minutes 1 second, queued for 5 seconds