Philipp Stephani <p.stephani2@gmail.com> 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.