2016-07-08 0:13 GMT+02:00 Peter Geoghegan <pg@heroku.com>:
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.