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
signature.asc
Description: PGP signature
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
signature.asc
Description: PGP signature