> On 26 Sep 2023, at 22:26, Bruce Momjian <br...@momjian.us> wrote: > On Tue, Sep 26, 2023 at 10:56:27AM -0700, David G. Johnston wrote:
>> I would get rid of any mentions of our old pre-v10 versioning scheme in the >> current documentation. For content such as this, a very big +1. > Good point, how is this attached patch? LGTM. -- Daniel Gustafsson
