On Tue, Nov 05, 2019 at 01:41:28PM -0500, Tom Lane wrote:> Pushed like that, then.
Thanks for the commit.--Michael