On Mon, Apr 17, 2023 at 1:30 AM Michael Paquier <mich...@paquier.xyz> wrote:
> FWIW, doing that now rather than the beginning of July is OK for me
> for this stuff.

OK, committed.

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


Reply via email to