On Thu, Mar 31, 2022 at 2:44 PM Andres Freund <and...@anarazel.de> wrote: > On 2022-03-31 14:31:43 -0400, Robert Haas wrote: > > On Thu, Mar 31, 2022 at 12:25 PM Andres Freund <and...@anarazel.de> wrote: > > > > Andres, thoughts? Do you want me to polish and commit 0001? > > > > > > Yes please! > > > > Here is a polished version. Comments? > > LGTM.
Committed. -- Robert Haas EDB: http://www.enterprisedb.com
