Re: [VOTE][RFC] intdiv()
| From: | Andrea Faulds | Date: | Sun, 03 Aug 2014 11:52:03 +0000 |
| Subject: | Re: [VOTE][RFC] intdiv() | ||
| References: | 1 2 3 4 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-76317@lists.php.net to get a copy of this message | ||
On 3 Aug 2014, at 05:39, Kris Craig <kris.craig@gmail.com> wrote:
> Agreed. I'd very much like to see another RFC that proposes more options for creating an
> operator for this. The vote against %% on this RFC should not be construed-- in my opinion, at
> least-- as a consensus against having any kind of operator for intdiv.
To save hassle, could I not modify the current RFC and hold another vote? I don’t see why we’d
need an entirely new RFC.
--
Andrea Faulds
http://ajf.me/