On Thu, 1 Mar 2018, Omar Sandoval wrote:

> It's been a year and a half since the last release of coccinelle but
> there have been many changes since then. Would it be possible to get a
> new official release?

There always seems to be one more small bug remaining.  We will try to
take care of this soon.  In any case, the version on github is always
stable.  We do the actual work elsewhere.

julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to