Jim Jewett added the comment: Pinging Martin ... earlier comments seem to have been completed. ---------- nosy: +Jim.Jewett _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue19714> _______________________________________