>> Hello, what is the current opinion of using github/issues so these requests >> do >> no get forgotten? > I have no problem with people updating that. I put the information at the > beginning of the changes.html file that is available with each release.
Would you like to convert any entries from this file into topics for a issue tracking interface? Is the system "https://github.com/coccinelle/coccinelle/issues"; the leading and preferred one now? Is there any "competition" between the usability of Github's infrastructure and your mailing list? Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
