On Tue, Mar 14, 2017 at 08:52:02AM +0100, Peter Senna Tschudin wrote: > I guess this is off topic on this list. There is an specific > Coccinelle mailing list: > > https://systeme.lip6.fr/mailman/listinfo/cocci Noted, thank you. Tobin.