Éric Araujo added the comment: Then you can close one bug as duplicate and commit a fix for the other :) ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue13539> _______________________________________