Hi,I see suggestions (mostly enhancement requests) given via the mailing list only. In case there is no other bug report system and to better keep track of feature request would you consider using github's issue tracker?
https://github.com/coccinelle/coccinelle/issues Jani _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
