On Mon, 6 Jun 2016, SF Markus Elfring wrote:
> > > >> * I would appreciate that corresponding changes will become viewable > >> also by the GitHub interface shortly. > > I have no idea what you are asking for. The file changes.txt is availabl > > in github all the time. > > 1. I have noticed that the last published commit seems to refer to a > merge (052860ee15849f96a856c253720261f350851771) from four days ago, > doesn't it? > > 2. A previous commit (from nine days ago) tried to express the message > "go back to version 1.0.4". > > 3. To which commit should the software release belong then after another > update for the involved version numbers? > Was a Git tag introduced for the current revision identifier? There is a tag for the current revision. As it says on the Coccinelle website, 1.0.5 was actually released on June 2. I only had time to make the announcement today. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
