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. James Coleman
