On Thu, Jul 25, 2024 at 04:10:37PM +0100, Dagfinn Ilmari Mannsåker wrote:
> Done: https://commitfest.postgresql.org/49/5139/
>
> I've taken the liberty of setting you as the committer, and the target
> version to 17 even though it turns out to be an older bug, since it's
> arguably a follow-on fix to the incomplete fix in c951e9042dd1.
Thanks. I'm -1 on back-patching since it was intentionally left around and
is basically harmless.
--
nathan