On Mon, Jun 10, 2013 at 8:57 PM, Nikita Popov <nikita.ppv@gmail.com> wrote:
> Hi internals!
>
> I started the vote on the operator overloading / GMP RFC:
>
> https://wiki.php.net/rfc/operator_overloading_gmp#vote
>
Vote is closed now. RFC accepted (on both counts).
Nikita