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