On Mon, 31 Jan 2011, Jani Monoses wrote: > > > > It would seem reasonable to do so, unless it causes some ambiguity in > > > > the parser. > > > > > > Would you like to register a feature request for such an extension? > > > > Noted. > > 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. > Also those who don't keep track of them > internally can see what has or has not yet been requested and discussed. > > So far there is 1 issue - and counting ;) > > https://github.com/coccinelle/coccinelle/issues I thought I was supposed to be notified of these things, but it doesn't seem to be the case. Or perhaps the issue was put there before the notification process was set up. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
