Re: BUG #16169: Default time output for 24:00 is 00:00

Francisco Olarte <[email protected]> Tue, 17 Dec 2019 19:02:32 +0100
Newsgroups gmane.comp.db.postgresql.bugs
Message-ID <CA+bJJbyZswrg0x0TbdxuaAt09b6Dz9MbXsFRRJsRi0yUAv1urw@mail.gmail.com>
Tom:

On Tue, Dec 17, 2019 at 6:49 PM Tom Lane <[email protected]> wrote:
...
> 8.5.1.2 should say no such thing, because the complaint as stated is
> wrong.

You are totally right, my fault. I apologize.

Will try to remember to use a proper installation and select version()
in the future.

Francisco Olarte.