From mboxrd@z Thu Jan  1 00:00:00 1970
From: johannes@sipsolutions.net (Johannes Berg)
Date: Wed, 12 Sep 2018 12:16:09 +0200
Subject: [Cocci] New release after 1.0.7?
In-Reply-To: <alpine.DEB.2.20.1809121214160.31876@hadrien>
References: <32b52167e7dd5734ba4aa5f21aa1fddd257e6292.camel@intel.com>
 <alpine.DEB.2.20.1808141515280.3371@hadrien>
 (sfid-20180814_152007_774372_35ED45D6)
 <1536564277.3224.7.camel@sipsolutions.net>
 <alpine.DEB.2.20.1809121214160.31876@hadrien>
Message-ID: <1536747369.3678.11.camel@sipsolutions.net>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr

On Wed, 2018-09-12 at 12:14 +0200, Julia Lawall wrote:

> > I see now that the website advertises the 1.0.7 release, however
> > 
> >  * it's not tagged in git(hub) - all previous releases have a tag
> >  * commit c1522bde ("Release 1.0.7") is NOT what's released as 1.0.7 on
> >    the website
> >  * it *looks* like the actual 1.0.7 release was cut from a much newer
> >    git commit, likely with the fix?
> 
> There is now a tag for the official release of 1.0.7 in github.

Great, thanks!

johannes