[pypy-commit] pypy closed-branches: Merge closed head 32435d62aa33 on branch gc-pinning

Manuel Jacob noreply at buildbot.pypy.org
Sat Jul 5 22:45:54 CEST 2014


Author: Manuel Jacob
Branch: closed-branches
Changeset: r72364:a9e0f15c33e3
Date: 2014-07-05 22:44 +0200
http://bitbucket.org/pypy/pypy/changeset/a9e0f15c33e3/

Log:	Merge closed head 32435d62aa33 on branch gc-pinning



More information about the pypy-commit mailing list