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

25 Oct 2011


      Ian Lynagh wrote:
...
Overall, UTCTime is sounding like the best type to me.
+1 for the change
+1 for UTCTime

Thanks,
Yitz

Yitzchak Gale