View Revisions: Note 9491

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