On Mon, Apr 11, 2022 at 4:56 AM David Rowley <dgrowleyml(at)gmail(dot)com> wrote:> 0011 (Could do with input from Robert and Joe)
Seems like a reasonable change to me.
-- Robert HaasEDB: http://www.enterprisedb.com