On Mon, Jul 24, 2023 at 03:54:33PM +0200, Alvaro Herrera wrote:> I see Michael marked it as such in the open items> page, but did not CC Andres, so I'm doing that here now.
Indeed, thanks!--Michael