> >> * 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? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
