Re: [PATCH] Fix a small bug in electric quoting.

[Philipp Stephani]

Philipp Stephani <address@hidden> schrieb am So., 31. Dez. 2017 um 18:07 Uhr:

Before this commit, if 'electric-quote-replace-double' is non-nil,
typing " '" turned into " ‘" even if
'electric-quote-context-sensitive' was nil.

No comments, so I've pushed this to master as f07c325d1f.