On Wed, Mar 16, 2022 at 09:52:41AM -0400, Robert Haas wrote:> It sucks that I keep missing this point.
So do I. No worries. Thanks for fixing it!--Michael