On Tue, Dec 18, 2018 at 11:40:49AM -0500, Tom Lane wrote:> Agreed, done.
Thanks Tom for stepping in!--Michael