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