> As far as I can see, the current contents of version say 1.0.5. Unfortunately, I do not get the same impression by the GitHub display at the moment. Does the revision log stop with the message "go becak to version 1.0.4" (from 2016-05-29) there? https://github.com/coccinelle/coccinelle/commits/master/version
Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
