On 11/12/2013 11:41 PM, Antony Lee wrote: > > I have a (fairly trivial...) patch to fix both of these issues. Should I post it here or submit it to bugs.python.org Submit it to the bug tracker, then it won't get lost. -- ~Ethan~