View Revisions: Note 9482

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