There's a patch on the fedora bugzilla for this issue: https://bugzilla.redhat.com/show_bug.cgi?id=702826
** Bug watch added: Red Hat Bugzilla #702826 https://bugzilla.redhat.com/show_bug.cgi?id=702826 ** Also affects: time (Fedora) via https://bugzilla.redhat.com/show_bug.cgi?id=702826 Importance: Unknown Status: Unknown ** Changed in: time (Ubuntu) Status: New => Confirmed -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/742248 Title: time reports incorrect max rss -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
