lkml.org 
[lkml]   [2021]   [Oct]   [23]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [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
>

\
 
 \ /
  Last update: 2021-10-23 19:04    [W:0.323 / U:0.016 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site