Skip to content
Snippets Groups Projects

Revert "Improve `--quit` option" (!35)

Passed
Gaël Bonithon created pipeline for commit bb660dd0
, finished
Related merge request !49 to merge revert-quit-option
merge request
2 jobs 1 minute 30 seconds, queued for 28 seconds