On Sun, Oct 5, 2025 at 11:02 PM Jim Jones <jim(dot)jones(at)uni-muenster(dot)de> 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.