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
signature.asc
Description: PGP signature
