[SCM] gawk branch, porting, updated. gawk-4.1.0-5488-g136d64ff

[Arnold Robbins]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gawk".

The branch, porting has been updated
       via  136d64ffcc0b71310b58f9958948ce93e0e5796e (commit)
       via  4b64c1206d51418e16654b92f556b0d002356a63 (commit)
       via  38d358ff592cbd241a058fbe770327b879868cb0 (commit)
      from  312f573cf18ac6dd91f12e540c490a33de56cc67 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
http://git.sv.gnu.org/cgit/gawk.git/commit/?id=136d64ffcc0b71310b58f9958948ce93e0e5796e

commit 136d64ffcc0b71310b58f9958948ce93e0e5796e
Merge: 312f573c 4b64c120
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sat Nov 12 22:11:32 2022 +0200

    Merge branch 'master' into porting


-----------------------------------------------------------------------

Summary of changes:
 doc/ChangeLog   |    9 +
 doc/awkcard.in  |    2 +-
 doc/gawk.info   | 1069 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   20 +-
 doc/gawktexi.in |   20 +-
 doc/wordlist    |    5 +
 6 files changed, 596 insertions(+), 529 deletions(-)


hooks/post-receive
-- 
gawk