On Mon, Apr 17, 2023 at 1:30 AM Michael Paquier <michael(at)paquier(dot)xyz> wrote:> FWIW, doing that now rather than the beginning of July is OK for me> for this stuff.
OK, committed.
-- Robert HaasEDB: http://www.enterprisedb.com