On Thu, Apr 19, 2018 at 12:48 PM, Thomas Gleixner <tglx@xxxxxxxxxxxxx> wrote: > > Can you please fix that and send me an updated pull request? Done. I sent a v2 pull request now as a separate thread. I still messed up the URL but replied with the correct one and figured out how to get that all automatically now. Arnd