> Is there perhaps a coccinelle bugzilla to help keep track > of minor issues like these?
Do you find the available issue tracker useful? https://github.com/coccinelle/coccinelle/issues/ Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
