[SCM] gawk branch, porting, updated. gawk-4.1.0-5816-g6d97e23a

[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  6d97e23ace29330e5acf84998659b314a8f848e8 (commit)
       via  aa3c126492db41b7aaae4320416f59cde4247a13 (commit)
       via  a7756ca5bf9575aa787540c24f7073b6a4820cd2 (commit)
       via  1e727f4008e86935f1762c812c41430c422763b9 (commit)
      from  f2da612228ef5acb94332620ec274b53f7ce5d4f (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=6d97e23ace29330e5acf84998659b314a8f848e8

commit 6d97e23ace29330e5acf84998659b314a8f848e8
Merge: f2da6122 aa3c1264
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri May 19 11:49:32 2023 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |    4 +
 doc/gawk.info   | 1062 +++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |    6 +-
 doc/gawktexi.in |    4 +-
 4 files changed, 540 insertions(+), 536 deletions(-)


hooks/post-receive
-- 
gawk