On Fri, 31 May 2019 at 05:02, Antonin Houska <ah(at)cybertec(dot)at> wrote:> Please see the diff attached.
Pushed. Thanks.
-- David Rowley http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Training & Services