On 13 October 2017 at 04:56, Alvaro Herrera <alvherre@alvh.no-ip.org> wrote:
> I pushed your original fix.
Thanks for committing
-- David Rowley 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