[SCM] gawk branch, master, updated. gawk-4.1.0-5433-gfd414202

[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, master has been updated
       via  fd414202d2c2a8e47b076ebd8f5741c271f85c92 (commit)
       via  df1f6c441126989efd1b0d45e726c96c2b81abb0 (commit)
       via  d3a2af02415fcef6e45ff4fa748b4b85eb458b80 (commit)
      from  0d13155e49b792090fdb1b1a6c1df7470791fd3f (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=fd414202d2c2a8e47b076ebd8f5741c271f85c92

commit fd414202d2c2a8e47b076ebd8f5741c271f85c92
Merge: 0d13155e df1f6c44
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Nov 16 20:39:37 2023 +0200

    Merge branch 'gawk-5.3-stable'


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

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