On Thu, Sep 02, 2021 at 11:28:27AM -0400, Robert Haas wrote:
> On Wed, Aug 25, 2021 at 8:03 AM Robert Haas <robertmhaas@gmail.com> wrote:
> > On Wed, Aug 25, 2021 at 1:21 AM Noah Misch <noah@leadboat.com> wrote:
> > > Sounds good. I think the log message is the optimal place:
> >
> > Looks awesome.
>
> Is there anything still standing in the way of committing this?
I pushed it as commit 97ddda8.