From mboxrd@z Thu Jan  1 00:00:00 1970
From: mstefani@redhat.com (Michael Stefaniuc)
Date: Thu, 30 Apr 2015 15:48:34 +0200
Subject: [Cocci] Packages for release 1.0.0
In-Reply-To: <alpine.DEB.2.02.1504292115570.2042@localhost6.localdomain6>
References: <44BEB158-144E-4ADA-9B1E-9AC634906DE0@gmail.com>
 <alpine.DEB.2.02.1504292115570.2042@localhost6.localdomain6>
Message-ID: <554232B2.10107@redhat.com>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr

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