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