Hi, Julia Lawall <[email protected]> writes:
> I have done something that seems like it should be good enough to fix the > specific problem. You may get some new WEIRD warning messages, so it is > not entirely satisfactory. 0.2.0 with this change will be released > shortly. Excellent, thanks! Ludo’. _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
