Armin Rigo <armin.rigo at gmail.com> added the comment: Fixed (aba0616c4c1b), thanks! ---------- nosy: +arigo status: unread -> resolved ________________________________________ PyPy bug tracker <tracker at bugs.pypy.org> <https://bugs.pypy.org/issue1247> ________________________________________