On Sat, Jul 9, 2016 at 5:59 PM, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:> Also, might I suggest that leading zeroes in such a format are not> helpful? That is, I'd want to see "1:02.345" not "00:01:02.345".
Or 1m 2s 345ms
-- greg