On Tue, Oct 22, 2019 at 09:40:34AM +0200, Peter Zijlstra wrote: > On Mon, Oct 21, 2019 at 09:36:53PM +0200, Christian Brauner wrote: > > Ok, so I take it you route that patch somehwere through tip? > > I'm happy with the ubsan fix: > > Yeah, I'll go make a real patch with Changelog of it and stick it in > tip. Excellent! Thanks! Christian
