On Sun, Oct 13, 2019 at 04:29:10PM -0400, Tom Lane wrote:> Yeah, that sounds good to me.
Thanks, I have just committed a fix doing that.--Michael