[SCM] gawk branch, porting, updated. gawk-4.1.0-6361-g1731c748

[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  1731c7485e4628556ab487c9fd1e8685b83bec06 (commit)
       via  c009afe59229636dcb0cadbec61b11a2e7938c99 (commit)
       via  f50e920cbff8f163d5a7f8ffa58f69a9db5f76c4 (commit)
       via  3b4d466117be48c47562b94c0560bb216e8b0d88 (commit)
       via  270f0aa5885515506906550b77c5dd7826477e67 (commit)
      from  ded8db86e4fdfb606b61a06199d971c6a5df50fd (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=1731c7485e4628556ab487c9fd1e8685b83bec06

commit 1731c7485e4628556ab487c9fd1e8685b83bec06
Merge: ded8db86 c009afe5
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Oct 20 22:14:03 2024 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog                     |   6 +-
 awklib/eg/misc/simple-csv.awk |   2 +-
 doc/ChangeLog                 |   6 +
 doc/gawk.info                 | 933 +++++++++++++++++++++---------------------
 doc/gawk.texi                 |  95 +++--
 doc/it/ChangeLog              |   4 +
 doc/it/gawk.texi              | 428 ++++++++++---------
 floatcomp.c                   |  32 +-
 8 files changed, 793 insertions(+), 713 deletions(-)


hooks/post-receive
-- 
gawk