[SCM] gawk branch, feature/minrx, updated. gawk-4.1.0-5471-g4e52598f

[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, feature/minrx has been updated
       via  4e52598fda92af393d041807dbf1a827d869baee (commit)
       via  fd414202d2c2a8e47b076ebd8f5741c271f85c92 (commit)
       via  df1f6c441126989efd1b0d45e726c96c2b81abb0 (commit)
       via  d3a2af02415fcef6e45ff4fa748b4b85eb458b80 (commit)
      from  144407ec416d33d2f3357f47c6c7a922b9485253 (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=4e52598fda92af393d041807dbf1a827d869baee

commit 4e52598fda92af393d041807dbf1a827d869baee
Merge: 144407ec fd414202
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Nov 16 20:41:00 2023 +0200

    Merge branch 'master' into feature/minrx


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

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