Heikki Linnakangas <[email protected]> writes:
> Magnus Hagander wrote:
>> Actually, such a correction patch would be nice and short. Attached
>> for reference. Thoughts?

> That seems better than rewinding the history all the way back to August.

+1 ... I'm just an interested observer not a user of the git repository,
but this approach seems far less work for everyone concerned.

                        regards, tom lane

-- 
Sent via pgsql-hackers mailing list ([email protected])
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-hackers

Reply via email to