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


Reply via email to