> On 2 Apr 2024, at 22:46, Bruce Momjian <br...@momjian.us> wrote: > On Tue, Apr 2, 2024 at 11:34:46AM +0200, Magnus Hagander wrote:
>> I do like the term "current" better. It conveys (at least a bit) that we >> really consider all the older ones to be, well, obsolete. The difference >> "current vs obsolete" is stronger than "latest vs not quite latest". > > Okay, I changed "superseded" to "old", and changed "latest" to > "current", patch attached. +1, LGTM -- Daniel Gustafsson
