View Revisions: Note 115223

Summary 0035320: Character encodings are always read from inputhistory.xml. Changes in file like BOM UTF-8 are ignored.