On Wed, May 29, 2019 at 04:35:10PM -0600, Jonathan Corbet wrote: > On Mon, 20 May 2019 06:10:15 +0000 > Changbin Du <changbin...@gmail.com> wrote: > > > Bjorn and Jonathan, > > Could we consider to merge this serias now? Thanks. > > Somewhat belatedly, but I think we could. Bjorn, do you have a preference > for which tree this goes through? I don't remember if we'd come to an > agreement on that or not, sorry...
I don't have a preference. I somehow had the impression it would go through your tree, but I'd be happy to merge it if you'd prefer. Bjorn
