On Thu, Mar 31, 2022 at 4:19 PM James Coleman <jtc...@gmail.com> wrote: > On Thu, Mar 31, 2022 at 3:25 PM Robert Haas <robertmh...@gmail.com> wrote: > > On Thu, Mar 31, 2022 at 10:51 AM James Coleman <jtc...@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