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. > Acked-by: Christian Brauner <christian.brau...@ubuntu.com> Thanks!