[pypy-commit] pypy closed-branches: Merge closed head d5d8ff879a62 on branch jit-option-refactor

[arigo]

Author: Armin Rigo <arigo at tunes.org>
Branch: closed-branches
Changeset: r45632:72154b3c7be9
Date: 2011-07-15 16:04 +0200
http://bitbucket.org/pypy/pypy/changeset/72154b3c7be9/

Log:	Merge closed head d5d8ff879a62 on branch jit-option-refactor