karl added the comment: Ah bummer! :) it was already done. :) Well it seems already well commented in the review. :) Closing this one as duplicate? ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue17375> _______________________________________