On Thu, Jan 14, 2021 at 01:13:50AM -0700, Chris Murphy wrote:

Hi,

It looks like this didn't make it to 5.10.7. I see the PR for
5.11-rc4. Is it likely it'll make it into 5.10.8?

5.10.8 is feasible I think, a minor diff fixup is needed to apply to
5.10.x, I'll send it.