Re: [RFC] User-defined object comparison

I'm sorry that this email created a new thread on externals.io - not sure how to avoid that. On Sun, 8 Jul 2018 at 18:51, Rudi Theunissen <rtheunissen@php.net> wrote: > Hi everyone, > > This RFC is now final; no decision will be changed unless there is a very > good reason to do so. I'm happy with the approach in detail and available > to address any further concerns. > > I'm waiting on the sidelines of the potential changes to the release > schedule, but would like to ask whether anyone thinks a vote on this RFC > should be postponed until everyone has had a good chance to consider it? I > don't want to rush this for 7.3 but if we do have more time (or can reach a > consensus one way or another), I personally believe that this is votable in > its current state. > > Rudi >