Hello Julia,
On 04/29/2015 09:16 PM, Julia Lawall 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.
I found a whitespace placement "regression" too. But I didn't get the
time yet to create a simple test case for that. Are you interested in
that too? I can do it only tonight as I have it on my home desktop only.
bye
michael
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
