[SCM] gawk branch, porting, updated. gawk-4.1.0-5629-g7417f774

[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  7417f7746ef15129fd10d35b526c909beb982714 (commit)
       via  cecb2c654b26737b23c7a41da1ccb9de9b86186b (commit)
       via  33a1b76c163a4fcb7aa874530dcd217aa514c470 (commit)
      from  65084b58f12a558d0d30fd37f393c78fcb165e93 (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=7417f7746ef15129fd10d35b526c909beb982714

commit 7417f7746ef15129fd10d35b526c909beb982714
Merge: 65084b58 cecb2c65
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Feb 10 16:13:38 2023 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog       |    5 +
 doc/ChangeLog   |    5 +
 doc/gawk.info   | 1342 +++++++++++++++++++++++++++++--------------------------
 doc/gawk.texi   |   65 ++-
 doc/gawktexi.in |   65 ++-
 io.c            |   18 +-
 test/badargs.ok |    2 +-
 7 files changed, 848 insertions(+), 654 deletions(-)


hooks/post-receive
-- 
gawk