Armin Rigo <armin.rigo at gmail.com> added the comment: Done (deb9af94dcc2 to 20c63568140f). ---------- status: chatting -> resolved ________________________________________ PyPy bug tracker <tracker at bugs.pypy.org> <https://bugs.pypy.org/issue1624> ________________________________________