diff options
Diffstat (limited to 'MAINTAINERS')
| -rw-r--r-- | MAINTAINERS | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/MAINTAINERS b/MAINTAINERS index 32944ecc5733..154c87032bae 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -4355,8 +4355,8 @@ T: git git://linuxtv.org/media_tree.git F: drivers/media/pci/cobalt/ COCCINELLE/Semantic Patches (SmPL) -M: Julia Lawall <Julia.Lawall@lip6.fr> -M: Gilles Muller <Gilles.Muller@lip6.fr> +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) |