[Cocci] New release after 1.0.7?
johannes at sipsolutions.net
Wed Sep 12 12:16:09 CEST 2018
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.
More information about the Cocci