"Jonathan S. Katz" <jkatz(at)postgresql(dot)org> writes:> The (proper) fix is now live.
Looks good now, thanks!
regards, tom lane