Proposal: Use time rather than old-time in directory

Yitzchak Gale gale at sefer.org
Tue Oct 25 14:24:54 CEST 2011


Ian Lynagh wrote:
> Overall, UTCTime is sounding like the best type to me.

+1 for the change
+1 for UTCTime

Thanks,
Yitz



More information about the Libraries mailing list