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