Thread: [DOCS] Error in to_timestamp() example

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/9.5/static/functions-formatting.html
Description:

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

> ERROR:  hour "15" is invalid for the 12-hour clock
> HINT:  Use the 24-hour clock, or give an hour between 1 and 12.

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