On Sun, Aug 17, 2014 at 05:06:07PM +0200, Ludovic Courtès wrote: > Yes, I think that’s what’s needed, so OK to commit.
Done with commit 68dddca. However, on mips64el we are now in the case that the binaries are not precompiled, so one would need to bootstrap. Andreas
