Tom Lane wrote:> The developer docs are a few days out of date, and> http://developer.postgresql.org/pgdocs/postgres/buildlog.html> shows that a build hasn't been attempted since the 7th.
It's back.