On 30.11.22 02:51, Bruce Momjian wrote:
> On Fri, Nov 18, 2022 at 02:11:50PM -0500, Bruce Momjian wrote:
>> On Mon, Nov 7, 2022 at 11:04:46PM +0100, Laurenz Albe wrote:
>>> On Sat, 2022-11-05 at 10:08 +0000, Simon Riggs wrote:
>>>> Agreed; new compilation patch attached, including mine and then
>>>> Robert's suggested rewordings.
>>>
>>> Thanks. There is clearly a lot of usefule information in this.
>>
>> Sorry again for the long delay in replying to this.
>
> Patch applied back to PG 11. Thanks to Simon for getting this important
> information in our docs, and for the valuable feedback from others that
> made this even better.
I request that the backpatching of this be reverted. We don't want to
have major chapter numbers in the documentation changing between minor
releases.
More generally, major documentation additions shouldn't be backpatched,
for the same reasons we don't backpatch features.