Issue #8774: tabnanny uses the encoding cookie (#coding:...) to use the correct
encoding
2 files changed