On Wed, 8 May 2019, Thomas Gleixner wrote: > The other issue which I worked on yesterday night (krobot finding a few > corner cases where the patcher did not handle some odd comment formatting > correctly) should be gone. I just started a new full run to verify that. Pushed out updated scripts, updated kernel branches. Thanks, tglx