Skip to content
Snippets Groups Projects

Merge branch 'hotline#132171_diverses_corrections_orthographiques' into 'hotline'

Passed
Patrick Barroca created pipeline for commit dad443b1
, finished
1 related merge request: !3949 Hotline
3 jobs 57 minutes 12 seconds, queued for 2 seconds