Liam Bowen <liambowen@gmail.com> writes:
> Hey Tom, this quick patch unfortunately didn't work, but now I'm looking
> into other options.
Yeah. I've concluded that that *is* a bug (and just committed the fix)
but it doesn't explain what you're seeing.
regards, tom lane