On Thu, Jul 7, 2022 at 3:16 AM David Rowley <dgrowleyml(at)gmail(dot)com> wrote:>> Pushed.
Hmm, the commit appeared on git.postgresql.org, but apparently not inmy email nor the list archives.
-- John NaylorEDB: http://www.enterprisedb.com