Re: docs: add missing id elements for developer GUCs - Mailing list pgsql-hackers

From Michael Paquier
Subject Re: docs: add missing id elements for developer GUCs
Date
Msg-id Y41WesP+m66JaGZp@paquier.xyz
Whole thread Raw
In response to docs: add missing id elements for developer GUCs  (Ian Lawrence Barwick <barwick@gmail.com>)
Responses Re: docs: add missing id elements for developer GUCs  (Ian Lawrence Barwick <barwick@gmail.com>)
List pgsql-hackers
On Sat, Dec 03, 2022 at 03:58:19PM +0900, Ian Lawrence Barwick wrote:
> A few of the developer option GUCs were missing the "id" attribute
> in their markup, making it impossible to link to them directly.

True enough that the other developer GUCs do that, so applied and
backpatched down to 11.
--
Michael

Attachment

pgsql-hackers by date:

Previous
From: "Fujii.Yuki@df.MitsubishiElectric.co.jp"
Date:
Subject: RE: Partial aggregates pushdown
Next
From: Amit Langote
Date:
Subject: Re: generic plans and "initial" pruning