On Thu, Jul 11, 2019 at 10:42:35AM -0400, Bruce Momjian wrote: > 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?
Doc patch applied to all current branches. Thanks for the report. -- Bruce Momjian <br...@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 +
