[Bug 405701] Re: user_times reports wrong values

[Cesare Tirabassi]

It can be done but I'd rather prefer to rethink about the whole thing
since I personally don't like the way the code works now. You should
raise a wishlist bug either here or upstream about it so that its not
forgotten.

-- 
user_times reports wrong values
https://bugs.launchpad.net/bugs/405701
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs at lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs