On Mon, Aug 12, 2019 at 01:55:43PM +0100 Will Deacon wrote: > On Mon, Aug 12, 2019 at 01:54:14PM +0100, Will Deacon wrote: > > Phil -- is there a fix queued for this somewhere? > > Ha, tglx beat me by two minutes. This is now fixed in -tip. > > Will Yeah, it's now fixed. Sorry about that... Cheers, Phil --
