On Thu, Mar 31, 2022 at 4:19 PM James Coleman <jtc331@gmail.com> wrote:
> On Thu, Mar 31, 2022 at 3:25 PM Robert Haas <robertmhaas@gmail.com> wrote:
> > On Thu, Mar 31, 2022 at 10:51 AM James Coleman <jtc331@gmail.com> wrote:
> > > Updated.
> >
> > This version looks fine to me. If nobody objects I will commit it and
> > credit myself as a co-author.
>
> Sounds great; thanks again for the review.
Done.
--
Robert Haas
EDB: http://www.enterprisedb.com