On 13 November 2018 at 02:46, Peter Eisentraut<peter(dot)eisentraut(at)2ndquadrant(dot)com> wrote:> Committed your change.
Thanks.
-- David Rowley http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Training & Services