On Fri, Jul 26, 2024 at 4:13 PM Alexander Korotkov <aekorot...@gmail.com> wrote:
> Great!  Should we mark the corresponding v17 open item as closed?

Done.

-- 
Robert Haas
EDB: http://www.enterprisedb.com


Reply via email to