Re: BUG #16468: Doc: release note 13, missing GUCenable_groupingsets_hash_disk

On Thu, May 28, 2020 at 04:12:53PM +0900, Michael Paquier wrote:
> On Thu, May 28, 2020 at 06:39:34AM +0000, PG Bug reporting form wrote:
> > It seems to me that the "enable_hashagg_disk" is mistaken for
> > "enable_groupingsets_hash_disk".
> 
> Good catch.  This is not fixed yet on HEAD.  Adding Bruce in CC as
> that's part of the release notes.

Thanks, attached patcy applied.

-- 
  Bruce Momjian  <bruce@momjian.us>        https://momjian.us
  EnterpriseDB                             https://enterprisedb.com

  The usefulness of a cup is in its emptiness, Bruce Lee