On Tue, Jul 8, 2014 at 3:50 AM, Emilio Pozuelo Monfort <
pochu@debian.org> wrote:
>
> On 03/07/14 21:36, Guo Yixuan wrote:
> > On Thu, Jul 3, 2014 at 8:12 AM, Osamu Aoki <
osamu_aoki_home@nifty.com>
> >> I will upload new git head when prompted. Is it ready?
> >
> > Yes, it is. (I just noticed you already uploaded it. Thanks a lot!)
>
> And it has failed on armel because of #727621.
Thank you for noting this. It seems to be a rather difficult bug in gcc.
Yixuan