On Sun, Oct 5, 2025 at 11:02 PM Jim Jones <[email protected]> wrote: > Just to avoid any duplication of effort: there's already a patch that > substantially overlaps with this issue[1] > 1 - https://commitfest.postgresql.org/patch/5379/
Oh, thanks Jim. Will take a look.
