On Sat, Sep 7, 2019 at 1:44 PM Thomas Gleixner <[email protected]> wrote:
>
> That's what I just replied to Chris. Can you do it right away or should I 
> queue it up?

Done.

Thanks,
          Linus

Reply via email to