[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <alpine.DEB.2.22.394.2110231901430.2967@hadrien>
Date: Sat, 23 Oct 2021 19:02:12 +0200 (CEST)
From: Julia Lawall <julia.lawall@...ia.fr>
To: Kees Cook <kees@...flux.net>
cc: Joe Perches <joe@...ches.com>, cocci@...ia.fr,
linux-kernel@...r.kernel.org
Subject: Re: [cocci] update Coccinelle entry
On Sat, 23 Oct 2021, Kees Cook wrote:
>
>
> On October 23, 2021 9:01:18 AM PDT, Julia Lawall <julia.lawall@...ia.fr> wrote:
> >Update mailing list and website. Drop Michal Marek as a maintainer, who
> >has not participated in a long time.
> >
> >Signed-off-by: Julia Lawall <Julia.Lawall@...ia.fr>
> >
> >---
> >
> >For information. This will be in my tree.
> >
> >diff --git a/MAINTAINERS b/MAINTAINERS
> >index 7d46f03e5037..8746149b6623 100644
> >--- a/MAINTAINERS
> >+++ b/MAINTAINERS
> >@@ -4594,10 +4594,9 @@ COCCINELLE/Semantic Patches (SmPL)
> > M: Julia Lawall <Julia.Lawall@...ia.fr>
> > M: Gilles Muller <Gilles.Muller@...ia.fr>
> > M: Nicolas Palix <nicolas.palix@...g.fr>
> >-M: Michal Marek <michal.lkml@...kovi.net>
> >-L: cocci@...teme.lip6.fr (moderated for non-subscribers)
> >+L: cocci@...ia.fr (moderated for non-subscribers)
> > S: Supported
> >-W: http://coccinelle.lip6.fr/
> >+W: https://coccinelle.gitlabpages.inria.fr/website/
> > T: git git://git.kernel.org/pub/scm/linux/kernel/git/mmarek/kbuild.git misc
>
> Perhaps drop this tree and add yours, too?
Sure, thanks for the suggestion.
julia
>
> > F: Documentation/dev-tools/coccinelle.rst
> > F: scripts/coccicheck
>
>
>
>
> --
> Kees Cook
>
Powered by blists - more mailing lists