Bart Massey wrote: > Thanks! I agree that this is much better.
Forwarded to bug-gnu-utils. Hopefully someone there will take pity on us and become GNU time maintainer. :) -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
