Re: pgsql: Rework HashAgg GUCs.

On Thu, 2020-06-11 at 13:41 -0700, Peter Geoghegan wrote:
> On Thu, Jun 11, 2020 at 1:05 PM Jeff Davis <jdavis@postgresql.org>
> wrote:
> > Rework HashAgg GUCs.
> 
> This commit broke the doc build:

Fixed, thank you. It broke the REL_13_STABLE branch, not master, so I
fixed it only in 13.

Regards,
    Jeff Davis