On Tue, Aug 23, 2022 at 7:14 AM Peter Smith <smithpb2...@gmail.com> wrote: > > I noticed an accidental ;; > > PSA patch to remove the same.
Pushed. -- John Naylor EDB: http://www.enterprisedb.com
On Tue, Aug 23, 2022 at 7:14 AM Peter Smith <smithpb2...@gmail.com> wrote: > > I noticed an accidental ;; > > PSA patch to remove the same.
Pushed. -- John Naylor EDB: http://www.enterprisedb.com