-------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.python.org/pipermail/pypy-dev/attachments/20131203/67bed139/attachment-0001.html>