I wrote:> Yup; the attached fixes it. Will push after a bit more testing.
Done now, but I forgot to credit Jeff in the commit message.My apologies for that (too bad it's impossible to edit commitmessages after the fact).
regards, tom lane