On Thu, Aug 25, 2022 at 1:35 PM John Naylor
<john(dot)naylor(at)enterprisedb(dot)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