On Sun, Jan 04, 2026 at 08:09:40PM -0500, Tom Lane wrote:> Looks about right to me.
Thanks, applied now. And sorry about the noise.--Michael