On Sat, Nov 04, 2017 at 12:23:36PM -0400, Tom Lane wrote:
> Noah Misch <noah@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.
Done.
--
Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-hackers