On Mon, Dec 07, 2020 at 09:56:34AM -0600, Eric W. Biederman wrote:

> Do you want to pull these two into a topic branch in the tip tree
> based on v10-rc1?

I'll go do that. I'll let the robots chew on it before pushing it out
though, I'll reply once it's in tip.git.

Reply via email to