Messages in this thread | | | Date | Sat, 23 Oct 2021 19:02:12 +0200 (CEST) | From | Julia Lawall <> | 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@inria.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@inria.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@inria.fr> > > M: Gilles Muller <Gilles.Muller@inria.fr> > > M: Nicolas Palix <nicolas.palix@imag.fr> > >-M: Michal Marek <michal.lkml@markovi.net> > >-L: cocci@systeme.lip6.fr (moderated for non-subscribers) > >+L: cocci@inria.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 >
| |