From mboxrd@z Thu Jan 1 00:00:00 1970 From: elfring@users.sourceforge.net (SF Markus Elfring) Date: Mon, 6 Jun 2016 22:26:04 +0200 Subject: [Cocci] Further software updates after Coccinelle v1.0.5? In-Reply-To: References: Message-ID: <12c45854-b1df-e9eb-98ed-8182585bae2f@users.sourceforge.net> To: cocci@systeme.lip6.fr List-Id: cocci@systeme.lip6.fr > >> * 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