[pypy-commit] pypy closed-branches: Merge closed head afd80811d478 on branch remove-raisingops

[arigo]

Author: Armin Rigo <arigo at tunes.org>
Branch: closed-branches
Changeset: r91812:597410005aeb
Date: 2017-07-07 22:57 +0200
http://bitbucket.org/pypy/pypy/changeset/597410005aeb/

Log:	Merge closed head afd80811d478 on branch remove-raisingops