On Tue, Feb 05, 2008 at 05:25:01AM +0000, der Mouse wrote: | Well, strictly, it suffices, but if the intent is to remove the ./obj | semantics eventually (as your "for the time being" implies), I'd prefer | to keep the PR open until that happens, if only as a reminder that the | issue is pending. That's fine with me.
Attachment:
pgp1CAufbUDMH.pgp
Description: PGP signature