On Mon, 9 Aug 2021 at 14:44, David Rowley <dgrowleyml(at)gmail(dot)com> wrote:
> I plan to push this and backpatch to 9.6 shortly unless there are any
> better ideas.
I pushed this patch. I've now marked the entry in the commitfest app
as committed too.
David