STINNER Victor added the comment: Thanks, "build #1563 of Docs 3.5 is complete: Success [build successful]": the bot is happy again ;-) ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue19795> _______________________________________