; * etc/NEWS: Fix entry about 'electric-quote-replace-double'.
commit4d2f388ae52bbd13451ff8ff80ee4ad69185e3de
authorEli Zaretskii <eliz@gnu.org>
Sat, 13 Jan 2018 08:58:36 +0000 (13 10:58 +0200)
committerEli Zaretskii <eliz@gnu.org>
Sat, 13 Jan 2018 08:58:36 +0000 (13 10:58 +0200)
tree433f8665d923e0ce19ccf829b9dd714989132241
parent815d3827f9f44384afac3eb2084e84be7083ea68
; * etc/NEWS: Fix entry about 'electric-quote-replace-double'.
etc/NEWS