On Tue, Nov 19, 2019 at 08:00:59PM +0000, Chris Paterson wrote:> > Ok, I've now done just that, and pushed out a -rc4.> > Thanks Greg.> > Linux 4.19.85-rc4 (824c9ada & d0112da1) works for me.Wonderful, thanks for testing all of this.greg k-h