[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <1149742048.11906171.1668919725846.JavaMail.zimbra@inria.fr>
Date: Sun, 20 Nov 2022 05:48:45 +0100 (CET)
From: Julia Lawall <julia.lawall@...ia.fr>
To: Tiezhu Yang <yangtiezhu@...ngson.cn>
Cc: cocci <cocci@...ia.fr>, gregkh@...uxfoundation.org,
linux-kernel <linux-kernel@...r.kernel.org>,
nicolas palix <nicolas.palix@...g.fr>
Subject: Re: [cocci] [PATCH] scripts: coccicheck: use "grep -E" instead of
"egrep"
> 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
Powered by blists - more mailing lists