fileinput.hook_encoded() uses io.open(), not codecs.open().
1 file changed