summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJulia Lawall <Julia.Lawall@inria.fr>2021-11-27 19:09:26 +0100
committerJulia Lawall <Julia.Lawall@inria.fr>2022-01-15 12:14:27 +0100
commit6fed105a5640e148032ad37208be280ce8cb6915 (patch)
treeee5a2be3ae5552a79daebb76b28fd4b05ad2b388
parentc5c17547b778975b3d83a73c8d84e8fb5ecf3ba5 (diff)
MAINTAINERS: remove Gilles Muller
Gilles Muller passed away on November 17, 2021. We would like to thank him for his continued support for the development of Coccinelle. Signed-off-by: Julia Lawall <Julia.Lawall@inria.fr>
-rw-r--r--MAINTAINERS1
1 files changed, 0 insertions, 1 deletions
diff --git a/MAINTAINERS b/MAINTAINERS
index 360e9aa0205d..8431e541f9c6 100644
--- a/MAINTAINERS
+++ b/MAINTAINERS
@@ -4685,7 +4685,6 @@ F: drivers/media/pci/cobalt/
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>
L: cocci@inria.fr (moderated for non-subscribers)
S: Supported