On Fri, Mar 30, 2018 at 7:34 PM, Bruce Momjian wrote:
> On Fri, Mar 30, 2018 at 10:31:07AM -0700, David G. Johnston wrote:
> > On Friday, March 30, 2018, Bruce Momjian wrote:
> >
> > I looked at this patch and thought it was more a stylistic item
> rather
> > than a correction. Is that
On Thu, Mar 29, 2018 at 3:40 PM, Tom Lane wrote:
> Magnus Hagander writes:
> > Is it possible that this issue actually showed up around 4-5 February,
> but
> > just has gone unnoticed since?
>
> It's been there a few weeks, anyway --- I remember somebody complaining
> before this particular thre
Magnus Hagander writes:
> However, why does devel work fine when the others are broken. It's the
> exact same code that's run to load the docs. The *input* to the loader must
> also be different at some point.
HEAD is the only branch building the docs via XML, so it's hardly
unlikely that the inp