Paul Eggert <eggert@cs.ucla.edu> schrieb am Mo., 24. Juli 2017 um 09:55 Uhr:

> Philipp Stephani wrote:
>
> > OK, here's a patch.
>
> Thanks. I don’t see the point of the non-context-sensitive version. That
> is, if
> ‘"’ is supposed to be replaced by a curved double-quote, then I don’t see
> the
> point of having a mode where ‘"’ is always replaced by closing double
> quote.
> That does not seem useful for English, anyway.
>
> In the NEWS item, just say ‘"’ instead of ‘double quote’ or ‘double ASCII
> quote’.
>

OK, here's an updated patch.