On Wed, Sep 25, 2019 at 7:54 AM Jiri Kosina <[email protected]> wrote: > > Seems like this didn't happen (yet) ... are there any plans to either drop > it for good, or merge it?
This is one of the pull requests that I have to go through commit by
commit because of the history of this thing.
And I've yet to empty my queue of all the _regular_ things that came
in this merge window, so I haven't had time.
Linus
