Re: [Python-Dev] 2.1.1 vs. os.normcase()

It's too late for 2.0.1, but should this bugfix go into 2.1.1?

(Just to be clear, this is the problem that Just reported with site.py calling os.normcase() in makepath().)

((I'm only asking about this bug in specific because we're getting down to the wire on 2.1.1 IIUC.))

Unclear if it's purely a bugfix -- this could be considered a feature, but I don't know. What do others think? --Guido van Rossum (home page: http://www.python.org/~guido/)