Neil Conway <neilc(at)samurai(dot)com> writes:
> P.S. Rather than updating HISTORY in one go before we make a release,
> what does everyone think of the idea of updating HISTORY whenver a
> patch that makes a user-visible change is committed?
Peter already set up a convention for that: patch the short list near
the front of doc/src/sgml/release.sgml.
HISTORY is a derived file, really; you should be patching release.sgml
I think, not HISTORY.
regards, tom lane