David Rowley <dgrowleyml(at)gmail(dot)com> writes:> Thanks. I pushed a fix for that.
Yeah, I saw your commit just after complaining. Sorry for the noise.
regards, tom lane