Skip to content

New version of getModificationTime

Function getModificationTime in System.Directory returns ClockTime. ClockTime is part of the old-time package. The (new) time package has UTCTime, so i propose a new version of getModificationTime that returns UTCTime instead.

Trac metadata
Trac field Value
Version
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component libraries/directory
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system Unknown
Architecture Unknown
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information