On Thu, Sep 02, 2021 at 11:28:27AM -0400, Robert Haas wrote: > On Wed, Aug 25, 2021 at 8:03 AM Robert Haas <robertmh...@gmail.com> wrote: > > On Wed, Aug 25, 2021 at 1:21 AM Noah Misch <n...@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.
