I seem to have (at least temporarily) fixed the CVS mirroring problem we were experiencing, and updated the CVS mirror. If you were waiting to check out a recently changed file (say since last midnight, EST), try again! --Guido van Rossum (home page: http://www.python.org/~guido/)