"Merlin Moncure" <merlin(dot)moncure(at)rcsonline(dot)com> writes:> No, that's the only one. pipe.c should not be used outside the backend.
Good enough --- I've applied the change.
regards, tom lane