Robert Haas <robertmhaas@gmail.com> writes:
>> I was just wondering about that. It seems like it could very well be
>> the same issue, but I have not tested it yet.
> OK, I tested it. On my system, that patch appears to fix this problem.
Yeah, I was just going to suggest that that might be related, but
I see you beat me to the deduction. Will commit it (with more than
zero comments) in a moment.
regards, tom lane
