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
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