On Wed, Jul 17, 2024 at 03:03:26PM -0700, Noah Misch wrote:
> On Wed, Jul 17, 2024 at 08:48:46AM -0700, Jeff Davis wrote:
> > On Thu, 2024-07-11 at 05:50 -0700, Noah Misch wrote:
> > > > This is still marked as an open item for 17, but you've already
> > > > acknowledged[1] that no code changes are necessary in version 17.
> > >
> > > Later posts on the thread made that obsolete. The next step is to
> > > settle the
> > > question at https://postgr.es/m/20240706195129.fd@rfd.leadboat.com.
> > > If that
> > > conclusion entails a remedy, v17 code changes may be part of that
> > > remedy.
> >
> > This is the first time you've mentioned a code change in version 17. If
>
> That's right.
>
> > you have something in mind, please propose it. However, this feature
> > followed the right policies at the time of commit, so there would need
> > to be a strong consensus to accept such a change.
>
> If I'm counting the votes right, you and Tom have voted that the feature's
> current state is okay, and I and Laurenz have voted that it's not okay. I
> still hope more people will vote, to avoid dealing with the tie. Daniel,
> Peter, and Jeremy, you're all listed as reviewers on commit f69319f. Are you
> willing to vote one way or the other on the question in
> https://postgr.es/m/20240706195129.fd@rfd.leadboat.com?
The last vote arrived 6 days ago. So far, we have votes from Jeff, Noah, Tom,
Daniel, and Laurenz. I'll keep the voting open for another 24 hours from now
or 36 hours after the last vote, whichever comes last. If that schedule is
too compressed for anyone, do share.