On Thu, May 21, 2020 at 05:00:45PM -0700, Linus Torvalds wrote: > Ted's pull request got merged today, for anybody wondering.. > > Christoph, can you verify that everything looks good? Looks good to me, thanks.
On Thu, May 21, 2020 at 05:00:45PM -0700, Linus Torvalds wrote: > Ted's pull request got merged today, for anybody wondering.. > > Christoph, can you verify that everything looks good? Looks good to me, thanks.