On Sun, Jun 07, 2020 at 08:10:08PM +0100, Patrick Welche wrote: > On Mon, Jun 08, 2020 at 12:20:15AM +0700, Robert Elz wrote: > > Date: Sun, 7 Jun 2020 15:20:17 +0100 > > From: Patrick Welche <pr...@cam.ac.uk> > > Message-ID: <20200607142017.GB3061@quark> > > > > | It was HEAD from June 6 13:54 UTC. > > > > Hmm ... very new, so new that issues might not have been found yet. > > I should specify: that was the one that saw the panic, the one that did > the writing would have been 2nd or 3rd June code.
I reproduced this more carefully in kern/55362 Cheers, Patrick