On 6 January 2012 04:59, Richard Henderson <r...@redhat.com> wrote:
> Ping.  Reposting the patch as it required updates to HEAD.

This appears to have caused PR51876. Could you take a quick look ?

cheers
Ramana


>
>
> r~

Reply via email to