On Fri, Sep 27, 2019 at 03:46:09PM +0200, Peter Eisentraut wrote:> Yes, it seems OK to clean this up in master.
Thanks, applied on HEAD.--Michael