On Thu, Apr 19, 2018 at 12:48 PM, Thomas Gleixner <[email protected]> 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
