Zachary Ware added the comment: Thanks for the #3158 addition, David :) We've been a week with no more major changes; is this issue done? ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue19861> _______________________________________