Package: time Version: 1.9-0.1 Severity: normal Dear Maintainer, as indicated in the object, "/usr/bin/time" should be renamed as it is covered by the "time" command integrated into the bash shell, so this executable is never called, unless it is run complete with path or through a specific alias.
Thanks, Antonio
