Noah Misch <n...@leadboat.com> writes: > I plan to use the attached patch after the minor release tags land. If > there's significant support, I could instead push before the wrap.
This looks fine to me --- I think you should push now.
(which reminds me, I'd better get on with making release notes.)
regards, tom lane
--
Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-hackers
