On Thu, Nov 03, 2022 at 07:53:55PM -0400, Tom Lane wrote:> Agreed, done.
Thanks for taking care of that!--Michael