On Thu, Jul 7, 2022 at 3:16 AM David Rowley <dgrowle...@gmail.com> wrote:
>
> Pushed.

Hmm, the commit appeared on git.postgresql.org, but apparently not in
my email nor the list archives.

-- 
John Naylor
EDB: http://www.enterprisedb.com


Reply via email to