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
This should be possible now. It should notify me when something is added. If you request a feature, however, it would be good to still discuss it via the mailing list, in case someone else has an opinion about it. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
