On Fri, Jul 26, 2024 at 4:13 PM Alexander Korotkov <aekorotkov(at)gmail(dot)com> wrote:> Great! Should we mark the corresponding v17 open item as closed?
Done.
-- Robert HaasEDB: http://www.enterprisedb.com