[Python-Dev] PyPy 1.3 released