[Cocci] New release after 1.0.7?
johannes at sipsolutions.net
Mon Sep 10 09:24:37 CEST 2018
On Tue, 2018-08-14 at 15:19 +0200, Julia Lawall wrote:
> Sorry, I'm not sure where 1.0.7 came from. [...]
> I would indeed like to make a release now that the compiations issues are
> resolved and things seem more stable.
Were you able to clear this up?
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
* it *looks* like the actual 1.0.7 release was cut from a much newer
git commit, likely with the fix?
More information about the Cocci