[SCM] gawk branch, porting, updated. gawk-4.1.0-5730-g1cfcb758

[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  1cfcb758f5bf86038d118386d61c13017a0e4b96 (commit)
       via  5f7719f3600529cf34c8e60353f222e0f364b8bf (commit)
       via  3abe821d81a0af4db9979bc793c8dccc600dad39 (commit)
       via  4ab83afa502fbe50051fa22ada896b4286ab6dae (commit)
      from  c280827e34a89e94b3694006261142b18c801c6f (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=1cfcb758f5bf86038d118386d61c13017a0e4b96

commit 1cfcb758f5bf86038d118386d61c13017a0e4b96
Merge: c280827e 5f7719f3
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Apr 3 14:23:32 2023 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |   7 +
 doc/gawk.info   | 662 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   8 +-
 doc/gawktexi.in |   6 +-
 4 files changed, 349 insertions(+), 334 deletions(-)


hooks/post-receive
-- 
gawk