Subject: Mailing list for the users of Coccinelle

Description: The list is for the users of Coccinelle: https://coccinelle.gitlabpages.inria.fr/website/