David Rowley <dgrowle...@gmail.com> 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 <dgrowle...@gmail.com> writes: > Thanks. I pushed a fix for that.
Yeah, I saw your commit just after complaining. Sorry for the noise. regards, tom lane