[pypy-commit] pypy closed-branches: Merge closed head 7b37a51ac77c on branch jumbo

[mattip]

Author: Matti Picus <matti.picus at gmail.com>
Branch: closed-branches
Changeset: r91758:323e7b202316
Date: 2017-07-07 10:12 +0300
http://bitbucket.org/pypy/pypy/changeset/323e7b202316/

Log:	Merge closed head 7b37a51ac77c on branch jumbo