-
Colomban Wendling yazdı
Don't simply split the the extra options string on spaces to build the grep argument list but rather split it in a shell-style fashion. This is probably more intuitive for most users, is more consistent with e.g. custom commands, and allows for spaces in an option or its argument. Closes #3516263.
78432b58