Proposal: Use time rather than old-time in directory

Yitzchak Gale gale at sefer.org
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.

Thanks,
Yitz



More information about the Libraries mailing list