Robert Haas <robertmhaas(at)gmail(dot)com> writes:> You want to push something, or should I do it?
Go for it.
regards, tom lane