Hiroshi Inoue <Inoue@tpf.co.jp> writes:
> Is it OK to commit the change before 7.1 release ?
> I want to do it before forgetting this issue.
If that fixes the problem for you, then commit it. I was waiting to
hear back whether you still saw a crash or not...
regards, tom lane