-
Michael Natterer authored
Turn dead_doubleacute plus space into '"' and not into a double acute because that's the way to enter double quotes on the US-International keyboard layout. (cherry picked from commit 71164e57b9b999f07a613806058ee87b9cbf882d)
c1cfcd03