Heikki Linnakangas <heikki.linnakangas@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