From: Julia Lawall Date: Sat, 23 Oct 2021 15:56:47 +0000 (+0200) Subject: coccinelle: update Coccinelle entry X-Git-Tag: v6.6.17~8820^2 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=33e71e95f4eb444646cada9d90e41984ba2c173d;p=platform%2Fkernel%2Flinux-rpi.git coccinelle: update Coccinelle entry Update mailing list, website, and tree. Drop Michal Marek as a maintainer, who has not participated in a long time. Signed-off-by: Julia Lawall Reviewed-by: Kees Cook --- diff --git a/MAINTAINERS b/MAINTAINERS index 7d46f03..3548f95 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -4594,11 +4594,10 @@ COCCINELLE/Semantic Patches (SmPL) M: Julia Lawall M: Gilles Muller M: Nicolas Palix -M: Michal Marek -L: cocci@systeme.lip6.fr (moderated for non-subscribers) +L: cocci@inria.fr (moderated for non-subscribers) S: Supported -W: http://coccinelle.lip6.fr/ -T: git git://git.kernel.org/pub/scm/linux/kernel/git/mmarek/kbuild.git misc +W: https://coccinelle.gitlabpages.inria.fr/website/ +T: git git://git.kernel.org/pub/scm/linux/kernel/git/jlawall/linux.git F: Documentation/dev-tools/coccinelle.rst F: scripts/coccicheck F: scripts/coccinelle/