On 2016-05-07 10:00:27 +1200, Thomas Munro wrote:
> On Sat, May 7, 2016 at 8:34 AM, Robert Haas <robertmhaas@gmail.com> wrote:
> >> Did somebody verify the new contents are correct?
> >
> > I admit that I didn't. It seemed like an unlikely place for a goof,
> > but I guess we should verify.
>
> Looks correct. The tables match the output of the attached script.
Great!