"Dave Page" <dpage(at)pgadmin(dot)org> writes:
> The update to the patch should be posted today, but that is just a few
> lines to remove a configure test I'm told. The server code will be
> unchanged.
As requested. Actually there was a one-line code conflict as well.