On Thu, Aug 25, 2022 at 1:35 PM John Naylor <john.nay...@enterprisedb.com> wrote: > > I think I'll go ahead and commit 0001 in a couple days pending further > comments.
Pushed with Nathan's correction and some cosmetic rearrangements. -- John Naylor EDB: http://www.enterprisedb.com