On Sun, 28 Nov 2010, Jani Monoses wrote: > 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
I don't know how it it works, but if people want to put requests there in addition to sending them to the mailing list, I will promise to look at it from time to time. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
