The FAQ lists a "PostgreSQL BugTool page" at:
http://www.PostgreSQL.org/bugs/bugs.php
which I dimly recall seeing at one point, but it seems to
have dropped off the server. I would guess this has
something to do with the recent changes; the last
posts to pgsql-bugs which carry a number, which I
presume originate from this page, date from May 2.
Anyone know what's up?
Ian Barwick
barwick(at)gmx(dot)net