On Mon, Oct 12, 2026 at 11:43 AM Robert Haas <robertmhaas(at)gmail(dot)com> wrote:> Thanks. I will plan to commit this after rc1 is wrapped.
Done.
-- Robert HaasDatabricks