Bruce Momjian <bruce(at)momjian(dot)us> writes:> Patch applied to PG 17.
I don't see a push?
regards, tom lane