Subject: Re: bug#12899: Build failure from latest master

From: Stefano Lattarini <[email-masked]>
Date: Thu, 15 Nov 2012 22:05:22 +0100

On 11/15/2012 07:36 PM, Stefano Lattarini wrote:
>
> The patch below seems to solve the issue.  Just let me run a complete
> bootstrap to ensure this is the case ...
> 
Yep, it works.  But I don't have pushing rights, so someone will have
to apply it for me.

Regards,
  Stefano