> What is your opinion, and who should decide? Please don't post patches to the mailing list. Post them exclusively to bugs.python.org instead. Also, don't post unrelated patches in a single message. Create separate issues in the bug tracker for them. Regards, Martin