Bruce Momjian writes:
> Peter, is that patch OK for 7.3.1? I am not sure.
Definitely. It's a bug fix.
-- Peter Eisentraut peter_e(at)gmx(dot)net