[SCM] gawk branch, porting, updated. gawk-4.1.0-5396-ga83aedbb

[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  a83aedbb50b29fd0aeb8e0dfa011e539ddab3cd4 (commit)
       via  ec4adac48e3ba954c8ce0cbb2076ca800375c239 (commit)
       via  388e0f586dbc0573a2a7cf8a3f9c77d7b63b9c97 (commit)
       via  5f33de7c199d77551f77e4e14f2a94d8a1e03134 (commit)
       via  81439c4ce738ae1af8756a0e6882117d20627896 (commit)
       via  03c960cdae4be283a525ab731d9d60b372960f78 (commit)
      from  8bcef148ac1e28e774e0af4bc8d25c78d7d38d80 (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=a83aedbb50b29fd0aeb8e0dfa011e539ddab3cd4

commit a83aedbb50b29fd0aeb8e0dfa011e539ddab3cd4
Merge: 8bcef148 ec4adac4
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Oct 14 09:42:29 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog       |   15 +-
 NEWS            |   15 +
 doc/ChangeLog   |    8 +
 doc/gawk.info   | 1191 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   12 +-
 doc/gawktexi.in |   12 +-
 symbol.c        |   16 +-
 7 files changed, 662 insertions(+), 607 deletions(-)


hooks/post-receive
-- 
gawk