Hello 2013/7/12 Peter Eisentraut <[email protected]>: > 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 >
make_date-v3.patch
Description: Binary data
-- Sent via pgsql-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
