On Mon, Jun 10, 2013 at 8:57 PM, Nikita Popov <nikita....@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