diff options
author | Julia Lawall | 2021-11-27 19:09:26 +0100 |
---|---|---|
committer | Julia Lawall | 2022-01-15 12:14:27 +0100 |
commit | 6fed105a5640e148032ad37208be280ce8cb6915 (patch) | |
tree | ee5a2be3ae5552a79daebb76b28fd4b05ad2b388 /MAINTAINERS | |
parent | c5c17547b778975b3d83a73c8d84e8fb5ecf3ba5 (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>
Diffstat (limited to 'MAINTAINERS')
-rw-r--r-- | MAINTAINERS | 1 |
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 |