Re: [cocci] update Coccinelle entry

[Julia Lawall]

On Sat, 23 Oct 2021, Kees Cook wrote:

>
>
> On October 23, 2021 9:01:18 AM PDT, Julia Lawall <julia.lawall@xxxxxxxx> 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@xxxxxxxx>
> >
> >---
> >
> >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@xxxxxxxx>
> > M:	Gilles Muller <Gilles.Muller@xxxxxxxx>
> > M:	Nicolas Palix <nicolas.palix@xxxxxxx>
> >-M:	Michal Marek <michal.lkml@xxxxxxxxxxx>
> >-L:	cocci@xxxxxxxxxxxxxxx (moderated for non-subscribers)
> >+L:	cocci@xxxxxxxx (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
>