mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-17 11:57:00 +08:00
It has been wrong for this case since it was first written for 7.1 :-( Per report from Pavel Hanák.
It has been wrong for this case since it was first written for 7.1 :-( Per report from Pavel Hanák.