On Fri, Jun 30, 2023 at 01:05:09PM -0700, Nathan Bossart wrote:> The attached patch simply removes the GUC.
And here's a new version of the patch with docs that actually build.
-- Nathan BossartAmazon Web Services: https://aws.amazon.com