Heikki Linnakangas <heikki.linnakan...@enterprisedb.com> 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 (pgsql-hackers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-hackers

Reply via email to