[issue7351] Rename BadZipfile to BadZipFile for consistency

[Georg Brandl]

Georg Brandl <georg at python.org> added the comment:

Applied after review in r85873. (Please make sure your patches don't have trailing whitespace.)

----------
resolution:  -> fixed
status: open -> closed

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue7351>
_______________________________________