-
Bug
-
Resolution: Fixed
-
P4
-
None
-
None
-
b16
The version output of GNU time changed from "GNU time" to "GNU Time" in version 1.8. We need to update our check for identifying GNU time to handle this.