Heikki Linnakangas <heikki.linnakangas@enterprisedb.com> writes:
> Magnus Hagander wrote:
>> On Mon, Nov 16, 2009 at 08:29, David Fetter <david@fetter.org> wrote:
>>> On Mon, Nov 16, 2009 at 06:56:54AM +0200, Peter Eisentraut wrote:
>>>> Yeah, sorry guys. I fixed the CVS log message now.
>> So it's not only not strange, I'm very happy it didn't pull those
>> changes and broke my repository :-)
> Yeah, I'm glad it didn't do anything funny with the mirror.
I think we should have a policy of NO manual changes to the CVS
repository files. At least not without careful discussion beforehand.
The lack of a commit message for this one small patch was absolutely
not worth taking any risks to fix.
regards, tom lane