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: NJulia Lawall <Julia.Lawall@inria.fr>