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?
A tie would become a decision against the unreleased behavior.
In the event of a decision against the unreleased behavior, reverting the
feature is the remedy that could proceed without further decision making.