Skip to content
Snippets Groups Projects

warn against importing the options file

Passed
Ralf Jung created pipeline for commit d1dfd948
, finished
Related merge request !477 to merge robbert/revert_475
5 minutes 25 seconds, queued for 3 seconds