On 12/08/2014 09:19 AM, Michael Paquier wrote: > - Use faster, higher precision timer API GetSystemTimeAsFileTime on windows
This is now committed. -- Craig Ringer http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Training & Services -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers