A number of changes have been made to the github version of Coccinelle. See changes.txt. A new release will be available shortly.
julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
