Ok, thanks. I’ll keep an eye on that. > On 29 Apr 2015, at 21:16, Julia Lawall <[email protected]> wrote: > > 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
