NEWS.stable: log cherry-pick [fe3419d]->[cd56634] doc: use ASCII in .texi files where...

diff --git a/NEWS.stable b/NEWS.stable
index da5ae01..6845f55 100644 (file)
--- a/NEWS.stable
+++ b/NEWS.stable
@@ -12,7 +12,8 @@ with the following additional commits:
 
     * [7a0c729]->[d78c62e] maint: fix public-submodule-commit to work with newer git
     * [cfe23e8]->[79ca097] autoupdate
 
     * [7a0c729]->[d78c62e] maint: fix public-submodule-commit to work with newer git
     * [cfe23e8]->[79ca097] autoupdate

-    * [5088dc5]->[] manywarnings: remove -Wmudflap
+    * [5088dc5]->[7e54a06] manywarnings: remove -Wmudflap
+    * [fe3419d]->[cd56634] doc: use ASCII in .texi files where UTF-8 isn't needed

 __NEXTCOMMITMARKER__
 
 ----------------------------------------------------------------------
 __NEXTCOMMITMARKER__
 
 ----------------------------------------------------------------------