simon04 added the comment: I omitted the date header w/o intent. Basically because I couldn't quickly figure out how to set it. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue25411> _______________________________________