On Wed, May 20, 2020 at 10:06:55AM +0200, Peter Eisentraut wrote:> Looks correct to me.
Thanks for confirming, Peter. Got this one applied.--Michael