Hello
2013/7/12 Peter Eisentraut <peter_e@gmx.net>:
> There is a small inconsistency:
>
> select time '12:30:57.123456789';
>
> gives
>
> 12:30:57.123457
>
> but
>
> select make_time(12, 30, 57.123456789);
>
> gives
>
> 12:30:57.123456
fixed - see attached patch
Regards
Pavel
>