On Fri, Aug 28, 2026 at 10:21 AM Robert Haas <robertmhaas(at)gmail(dot)com> wrote:> That's a bug.
Here's a patch. Still working on the rest.
-- Robert HaasEDB: http://www.enterprisedb.com