On Thu, Mar 31, 2022 at 2:44 PM Andres Freund <andres@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 <andres@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