>>>>> "Michael" == Michael Schmitt <[EMAIL PROTECTED]> writes:
Michael> So, the patch looks completely useless. Should we remove the Michael> remains of \ps_command instead, or should we not touch the Michael> 1.3 code at all? I propose to keep the useless option (so that some people do not get an error), but remove the test in lib/configure. OK? JMarc