View Revisions: Note 9470

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