On Mon, 2018-05-07 at 04:43 +0200, Mike Galbraith wrote: > On Sun, 2018-05-06 at 09:42 +0200, Paolo Valente wrote: > > > > I've attached a compressed patch (to avoid possible corruption from my > > mailer). I'm little confident, but no pain, no gain, right? > > > > If possible, apply this patch on top of the fix I proposed in this > > thread, just to eliminate possible further noise. Finally, the > > patch content follows. > > > > Hoping for a stroke of luck, > > FWIW, box didn't survive the first full build of the morning. Nor the second. -Mike
