[SCM] gawk branch, porting, updated. gawk-4.1.0-6019-g8792ce41

[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  8792ce4130e5f54b73067f369c9b4cfa15a1b63f (commit)
       via  fd414202d2c2a8e47b076ebd8f5741c271f85c92 (commit)
       via  df1f6c441126989efd1b0d45e726c96c2b81abb0 (commit)
       via  d3a2af02415fcef6e45ff4fa748b4b85eb458b80 (commit)
      from  8ed3ffb8ad67a4b196c3fdc35b1eda0a738e04d5 (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=8792ce4130e5f54b73067f369c9b4cfa15a1b63f

commit 8792ce4130e5f54b73067f369c9b4cfa15a1b63f
Merge: 8ed3ffb8 fd414202
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Nov 16 20:39:58 2023 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 awklib/eg/lib/tocsv.awk |    4 +-
 awklib/eg/prog/igawk.sh |    2 +-
 doc/ChangeLog           |   12 +
 doc/gawk.info           | 1294 ++++++++++++++++++++++++-----------------------
 doc/gawk.texi           |   89 ++--
 5 files changed, 707 insertions(+), 694 deletions(-)


hooks/post-receive
-- 
gawk