Re: [PING] [PATCH] Fix PR49907

[Paolo Bonzini]

On 08/09/2011 04:22 PM, Richard Guenther wrote:

>
>  This fixes PR49907 - ok for trunk?

Ping.

Thanks,
Richard.

Ok.

Paolo