On Mon, 9 Aug 2021 at 14:44, David Rowley <dgrowle...@gmail.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
