On Thu, Sep 1, 2016 at 2:17 PM, Tom Lane <t...@sss.pgh.pa.us> wrote: > I wrote: > > So for clarity's sake: first suitable format among these: > > > Time: 59.999 ms > > Time: 121.999 ms (2:01.999) > > Time: 10921.999 ms (3:02:01.999) > > Time: 356521.999 ms (4 3:02:01.999) > > Sorry, that probably added no clarity at all, I was confusing > seconds with milliseconds in the example values :-( > > regards, tom lane >
I didn't scan your examples for correctness, but the parentheticals matched my own idea for what "left-trimmed" meant. I'm going to hold off a bit to see if anybody else chimes in, and if not I'm going to deliver a patch.