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 debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org