On Mon, Nov 28, 2022 at 4:55 PM Robert Haas <robertmhaas(at)gmail(dot)com> wrote:> But so far nobody has actually reviewed anything, ...
Actually this isn't true. Mark did review. Thanks, Mark.
-- Robert HaasEDB: http://www.enterprisedb.com