> Where can I learn more about this bug? (Not tonight > though. I hope I'll get some sleep despite these > news...) There's nothing more to learn. Just use the patch. --Guido van Rossum (home page: http://www.python.org/~guido/)