[pypy-commit] pypy closed-branches: Merge closed head 08713d1ad7d8 on branch rmmap-nohint

arigo noreply at buildbot.pypy.org
Mon Oct 17 17:08:58 CEST 2011


Author: Armin Rigo <arigo at tunes.org>
Branch: closed-branches
Changeset: r48137:5eb09f46bbf1
Date: 2011-10-17 17:07 +0200
http://bitbucket.org/pypy/pypy/changeset/5eb09f46bbf1/

Log:	Merge closed head 08713d1ad7d8 on branch rmmap-nohint



More information about the pypy-commit mailing list