[pypy-commit] pypy closed-branches: Merge closed head 072df3de15c5 on branch pypy3-release-2.4.x

[mattip]

Author: Matti Picus <matti.picus at gmail.com>
Branch: closed-branches
Changeset: r96243:ee67fab05f0c
Date: 2019-03-10 22:42 +0200
http://bitbucket.org/pypy/pypy/changeset/ee67fab05f0c/

Log:	Merge closed head 072df3de15c5 on branch pypy3-release-2.4.x