Hi Armin,

> Do you mind if I merge this branch 'float-ops' into the
> standard repo? 

I'm totally fine with a merge.


Best regards,

Toni
_______________________________________________
pypy-dev mailing list
[email protected]
https://mail.python.org/mailman/listinfo/pypy-dev

Reply via email to