Skip to content
Snippets Groups Projects

make filenames more consistent

Passed
Stephen D created pipeline for commit 315bb006
, finished
1 related merge request: !3 deb packaging
branch
2 jobs 3 minutes 39 seconds, queued for 5 seconds