Hiroshi Inoue <Inoue@tpf.co.jp> writes:
> If there's no objection, I would change the current
> source in a week or so.
This seems like something to do during 7.2 development, not as part
of post-7.1 bug fixing.
Perhaps you did mean that you'd commit after we make the branch, but
it wasn't clear...
regards, tom lane