branch master updated: * doc/texinfo.tex (\unicodechardefs): Use \arrow instead of \expansion for U+2192. From Patrice.

[Gavin D. Smith]

This is an automated email from the git hooks/post-receive script.

gavin pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new 77158b1da2 * doc/texinfo.tex (\unicodechardefs): Use \arrow instead of 
\expansion for U+2192.  From Patrice.
77158b1da2 is described below

commit 77158b1da22d264cff4cee7821c6026a1a72d7e1
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Sat Nov 12 02:53:27 2022 +0000

    * doc/texinfo.tex (\unicodechardefs): Use \arrow instead of
    \expansion for U+2192.  From Patrice.
---
 ChangeLog       | 5 +++++
 doc/texinfo.tex | 4 ++--
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 1e5a081514..62bb1ff31c 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2022-11-11  Gavin Smith  <gavinsmith0123@gmail.com>
+
+       * doc/texinfo.tex (\unicodechardefs): Use \arrow instead of
+       \expansion for U+2192.  From Patrice.
+
 2022-11-11  Patrice Dumas  <pertusus@free.fr>
 
        * tp/tests/coverage_macro.texi: add UTF-8 encoded characters near to
diff --git a/doc/texinfo.tex b/doc/texinfo.tex
index b1bf41ff56..d0b160a7d8 100644
--- a/doc/texinfo.tex
+++ b/doc/texinfo.tex
@@ -3,7 +3,7 @@
 % Load plain if necessary, i.e., if running under initex.
 \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi
 %
-\def\texinfoversion{2022-11-07.17}
+\def\texinfoversion{2022-11-12.02}
 %
 % Copyright 1985, 1986, 1988, 1990-2022 Free Software Foundation, Inc.
 %
@@ -10990,7 +10990,7 @@ directory should work if nowhere else does.}
   %
   \DeclareUnicodeCharacter{20AC}{\euro{}}%
   %
-  \DeclareUnicodeCharacter{2192}{\expansion{}}%
+  \DeclareUnicodeCharacter{2192}{\arrow}%
   \DeclareUnicodeCharacter{21D2}{\result{}}%
   %
   % Mathematical symbols