Fujii Masao <masao(dot)fujii(at)gmail(dot)com> writes:
> Attached patch fixes the bug. Is this worth committing?
Applied to HEAD, but it didn't seem worth back-patching. Thanks.
regards, tom lane
PS: when you generate a diff against a non-clean source tree, please
remove the cruft like
> ? GNUmakefile
> ? config.log
> ? config.status
from the posted patch. It's useless and annoys readers ...