On Fri, Apr 28, 2023 at 02:11:00PM +0200, Daniel Gustafsson wrote:
> Thanks! I've parked it in the July commitfest to keep it from being forgotten
> about when the tree re-opens.
I'm OK to hold on this patch until v17 opens for business, but isn't
that something we'd better backpatch at some point? The behavior of
the stable branches is kind of annoying, in my opinion.
--
Michael