On Thu, Mar 31, 2022 at 4:19 PM James Coleman <[email protected]> wrote: > On Thu, Mar 31, 2022 at 3:25 PM Robert Haas <[email protected]> wrote: > > On Thu, Mar 31, 2022 at 10:51 AM James Coleman <[email protected]> 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
