-
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 71164e57)
c1cfcd03
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 71164e57)