Hello, The Coccinelle mailing list is now archived here:
https://lore.kernel.org/cocci/ This contains all of the archives that are also on the mailmain site, which goes back to September 2012. Unfortunately the previous archives appear to be lost. If anyone would like to help with retrieving them and was subscribed prior to that time with a gmail address, there are instructions on constructing archives from gmail here: https://korg.wiki.kernel.org/userdoc/lore Thanks to Himanshu Jha for suggesting this and Konstantin Ryabitsev for setting it up very quickly. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
