Re: [cocci] [PATCH] scripts: coccicheck: use "grep -E" instead of "egrep"
From: Julia Lawall
Date: Sat Nov 19 2022 - 23:49:19 EST
> Hi,
>
> This patch can not be found in the torvalds/linux.git or
> next/linux-next.git tree, please take a look, thank you.
I missed the last merge window. It is in my tree on kernel.org, though.
julia