On Tue, Nov 12, 2024 at 12:13:14AM +0100, Andreas Schwab wrote: > Alternatively, you can use multiple -e options. This works even with > traditional grep implementations. This might be a bit more elegant. Should I re-submit the patch?