Bruce Momjian <bruce@momjian.us> writes:
> On Thu, May 7, 2020 at 08:29:55AM +0200, Fabien COELHO wrote:
>> After looking again at the release notes, I do really think that significant
>> documentation changes do not belong to the "Source code" section but should
>> be in separate "Documentation" section, and that more items should be listed
>> there, because they represent a lot of not-so-fun work, especially Tom's
>> restructuration of tables, and possibly others.
> Uh, can someone else give an opinion on this? I am not sure how hard or
> un-fun an item is should be used as criteria.
Historically we don't document documentation changes at all, do we?
It seems (a) pointless and (b) circular.
regards, tom lane