On 02.01.2023 at 21:53, Karl O. Pinc wrote:
If the author will look over my version of the patch I believe it can be approved and sent on to the committers.
LGTM. Thanks! Brar
- Re: doc: add missing "id" attributes to extension p... Brar Piening
- Re: doc: add missing "id" attributes to extens... Karl O. Pinc
- Re: doc: add missing "id" attributes to ex... vignesh C
- Re: doc: add missing "id" attributes t... vignesh C
- Re: doc: add missing "id" attribut... Brar Piening
- Re: doc: add missing "id" att... Tom Lane
- Re: doc: add missing "id"... Karl O. Pinc
- Re: doc: add missing "id"... Karl O. Pinc
- Re: doc: add missing "id&q... Tom Lane
- Re: doc: add missing "id&q... Brar Piening
- Re: doc: add missing "id&q... Brar Piening
