View Revisions: Note 9524

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