Alvaro Herrera <alvhe...@2ndquadrant.com> writes:
> We have not fixed this, have we?

Isn't this 10013684970453a0ddc86050bba813c611114321 ?

                        regards, tom lane


Reply via email to