Armin Rigo <armin.rigo at gmail.com> added the comment: Phew. Sorry and thanks for the fix. ---------- nosy: +arigo status: resolved -> chatting ________________________________________ PyPy bug tracker <tracker at bugs.pypy.org> <https://bugs.pypy.org/issue1418> ________________________________________