2022年12月5日(月) 11:25 Michael Paquier <mich...@paquier.xyz>: > > 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.
Thanks :). It has since been brought to my attention that there's a general patch covering missing "id" attributes, including those ones (see [1]), albeit without a CF entry. I will see if we can move that forward, before I end up sending in more piecemeal patches as I encounter them... [1] https://www.postgresql.org/message-id/flat/3bac458c-b121-1b20-8dea-0665986faa40%40gmx.de#f52d07e7782b893a54e6e31b5a20b4db Regards Ian Barwick
