1.0.0-rc14 is available on the web page. It may be some time before it is available on github, due to the person who takes care of that being on vacation.
Would you like to consider any automatic synchronisation between your content management systems?
Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
