> Dave already fixed it. It will be available in 1.14.
Great. Glad to hear it!
-- -- Josh Berkus PostgreSQL Experts Inc. http://www.pgexperts.com