On Wed, 29 Apr 2015, Eliseo Martínez wrote:
> Hi,
>
> I’ve seen release 1.0.0 has been published recently. Congrats!
> Unfortunately, it seems distribution packages (at least those for Ubuntu) are
> still stuck on 1.0.0-rc23 (Oct 2014).
> Are there plans to update these?
I could ping them, but I have already found a bug. I'll see if I can fix
it by Monday.
thanks,
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
