On Wed, Oct 1, 2014 at 12:49 PM, SF Markus Elfring <[email protected]> wrote: >> 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/
That's a possibility, but given that currently code is developed on gforge and then pushed out to github as a full release there may be other approaches desired. I'll wait for Julia's feedback on the desired approach forward. Luis _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
