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. Emilio -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
