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. Emilio