David Ripton <d+pypy at ripton.net> added the comment: That pull request was merged, so I think this is fixed. ---------- status: chatting -> resolved ________________________________________ PyPy bug tracker <tracker at bugs.pypy.org> <https://bugs.pypy.org/issue996> ________________________________________