On Thu, Jul 7, 2016 at 2:52 PM, Corey Huinker <corey.huinker@gmail.com> wrote:
> Wouldn't it be great if we had a way of printing timing in more human
> friendly formats?
Yes, it would. I've thought about doing this myself. So, +1 to the idea from me.
--
Peter Geoghegan