[anarazel]

FWIW, here's the patchset to fix that: https://commitfest.postgresql.org/15/871/

[halayli]

Thanks! I remember reading this thread a while back and I thought it made it in.