Re: Proposal: Use time rather than old-time in directory

Edward Kmett wrote:

+1 to both for me as well, though I'd be more comfortable if the orphans could be fixed.

Oh, yes, also +1 for fixing the orphan instances in the time library. Please. Thanks, Yitz