View Revisions: Note 9526

Summary 0002135: typing 'shift + letter' diacritic sequence also outputs the + character