On 24.07.24 17:19, Noah Misch wrote:
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...@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...@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.
My opinion is that it is okay to release as is.
