Alvaro Herrera <alvherre(at)2ndquadrant(dot)com> writes:> Thanks, pushed a slightly tweaked version.
? No push visible from here ...
regards, tom lane