On Tue, Jul 8, 2014 at 3:50 AM, Emilio Pozuelo Monfort <[email protected]> wrote: > > On 03/07/14 21:36, Guo Yixuan wrote: > > On Thu, Jul 3, 2014 at 8:12 AM, Osamu Aoki <[email protected]> > >> 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
