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