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