David Rowley <[email protected]> writes: > Thanks. I pushed a fix for that.
Yeah, I saw your commit just after complaining. Sorry for the noise.
regards, tom lane
David Rowley <[email protected]> writes: > Thanks. I pushed a fix for that.
Yeah, I saw your commit just after complaining. Sorry for the noise.
regards, tom lane