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 <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 +
diff --git a/doc/src/sgml/datatype.sgml b/doc/src/sgml/datatype.sgml
index 35ecd48ed5..ce9d2dddf1 100644
--- a/doc/src/sgml/datatype.sgml
+++ b/doc/src/sgml/datatype.sgml
@@ -2174,17 +2174,17 @@ January 8 04:05:06 1999 PST
<row>
<entry><literal>today</literal></entry>
<entry><type>date</type>, <type>timestamp</type></entry>
- <entry>midnight today</entry>
+ <entry>midnight (<literal>00:00</literal>) today</entry>
</row>
<row>
<entry><literal>tomorrow</literal></entry>
<entry><type>date</type>, <type>timestamp</type></entry>
- <entry>midnight tomorrow</entry>
+ <entry>midnight (<literal>00:00</literal>) tomorrow</entry>
</row>
<row>
<entry><literal>yesterday</literal></entry>
<entry><type>date</type>, <type>timestamp</type></entry>
- <entry>midnight yesterday</entry>
+ <entry>midnight (<literal>00:00</literal>) yesterday</entry>
</row>
<row>
<entry><literal>allballs</literal></entry>
