On Wed, 2014-07-23 at 12:31 +0200, Magnus Hagander wrote:
> Do we actually have any buildfarm boxes building the PDFs? And if so,
> any idea why they didn't catch it?
My jenkins does that, and I reported the problem here
http://www.postgresql.org/message-id/1400206646.15189.3.camel@vanquo.pezone.net
two months ago.
So the missing step here not detecting the problem, but fixing it when
we detect it.
