[...] > By the way, the modifications have not been sent to github and it > looks like there is not tag available.
Fixed. Thanks. /rrh -- Rene Rydhof Hansen email: [email protected] phone: (+45) 9940 7514 _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
