Re: [DOCS] Error in to_timestamp() example

michaelrush@gmail.com writes:
> In this example:

> > Here is a more complex example: to_timestamp('15:12:02.020.001230',
> 'HH:MI:SS.MS.US') is 15 hours, 12 minutes, and 2 seconds + 20 milliseconds +
> 1230 microseconds = 2.021230 seconds.

> HH needs to be HH24

You're right, thanks for reporting it.

            regards, tom lane