On Thu, Jul 11, 2019 at 09:34:58AM +0100, David Harper wrote:
> > One really simple way to make it shorter is to say "00:00", leaving
> > out the seconds.
>
> That’s a good solution. It removes the long-standing ambiguity without looking too ugly.
OK, how is this patch?
--
Bruce Momjian <bruce@momjian.us> http://momjian.us
EnterpriseDB http://enterprisedb.com
+ As you are, so once was I. As I am, so you will be. +
+ Ancient Roman grave inscription +