Skip to content
Snippets Groups Projects

slightly improve number rename sed script

Passed
Ralf Jung created pipeline for commit e005e7f8
, finished
For master
29 minutes 43 seconds, queued for 5 seconds