On Sat, Sep 28, 2019 at 10:52:18PM +0200, Peter Eisentraut wrote:> committed with that
Thanks, LGTM.--Michael