Skip to content
Snippets Groups Projects

Merge branch 'fix_case' into 'main'

Passed
Alexandru RADOVICI created pipeline for commit 90e3eeca
, finished
Related merge request !1 to merge fix_case into main
merged results
1 job 9 minutes 7 seconds, queued for 4 seconds