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
