Michael Glaesemann <[EMAIL PROTECTED]> writes:
> Did this get fixed? I don't see it in the release notes for 8.2 or on  
> the current TODO.

No, nothing's been done.  It's going to be a minor PITA, likely, since
our sources have diverged from upstream --- someone will have to go
through the upstream changes by hand and apply them :-(  Any volunteers?

                        regards, tom lane

---------------------------(end of broadcast)---------------------------
TIP 5: don't forget to increase your free space map settings

Reply via email to