Proposal: Use time rather than old-time in directory

Yitzchak Gale gale at
Tue Oct 25 17:13:41 CEST 2011

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.


More information about the Libraries mailing list