Neil Conway <neilc@samurai.com> writes:
> Bruce: I updated RELEASE_CHANGES so that this isn't forgotten in the
> future. If I have done that incorrectly, please let me know.
Actually a better answer would be to fix src/tools/copyright so it
doesn't miss this file. I'm not sure how hard that is though.
regards, tom lane