[SCM] gawk branch, porting, updated. gawk-4.1.0-5993-g10951d5c

[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  10951d5c7375abf256f4d30bf7ba783589aaa890 (commit)
       via  8930b2c353f4b2d901508438516b4f52df77fbef (commit)
      from  61c19df99b75a6bd8ad0a547e33896b9ed683af6 (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=10951d5c7375abf256f4d30bf7ba783589aaa890

commit 10951d5c7375abf256f4d30bf7ba783589aaa890
Merge: 61c19df9 8930b2c3
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sat Oct 28 20:09:24 2023 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog |   5 ++
 doc/gawk.info | 156 ++++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi |   5 ++
 3 files changed, 91 insertions(+), 75 deletions(-)


hooks/post-receive
-- 
gawk