On 10 February 2011 22:22, Dave Page <dpage(at)pgadmin(dot)org> wrote:
> D'oh! Please send that over.
It's included in the patch. I did the "git stash; git pull; git stashpop" trick.
-- Regards,Peter Geoghegan