Heikki Linnakangas <heikki(dot)linnakangas(at)enterprisedb(dot)com> writes:
> pgsql-ports and pgsql-patches have been retired, so the text needs some
> updating.
Now that you mention it, there are mentions of both lists in the FAQ
as well as various places in the source code.
> I wonder if we need to make the distinction, though? ISTM we could
> handle compilation failures through pgsql-bugs just as well.
+1, let's just point it all to bugs.
regards, tom lane