Tom Lane Fri, 20 Sep 2024 13:05:27 -0700
Bruce Momjian <br...@momjian.us> writes: > Patch applied to PG 17.
I don't see a push? regards, tom lane