corrections diverses
Passed
pierre.kunzli
created pipeline for commit
8b35a661
, finished
1 related merge request: !7 corrections diverses
6 minutes 24 seconds, queued for 7 seconds