Alvaro Herrera <alvherre(at)2ndquadrant(dot)com> writes:> Pushed to 11 and master. Thanks!
Don't actually see any push from here?
regards, tom lane