[SCM] gawk branch, porting, updated. gawk-4.1.0-6471-ge9f0df3b

[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  e9f0df3ba5bf5ed1ec4e0a4a7163b9dc397f2c74 (commit)
       via  b7300af55606459dfe2d217188bc85c493f9d31a (commit)
       via  cfdf8297dac3a00ecef2483ef7add869483b0e26 (commit)
       via  06f6b279ccbc321259f8a5067d8271e5079717d4 (commit)
      from  e598c6b431aa57fbfc011c3fdd4473dd6951447d (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=e9f0df3ba5bf5ed1ec4e0a4a7163b9dc397f2c74

commit e9f0df3ba5bf5ed1ec4e0a4a7163b9dc397f2c74
Merge: e598c6b4 b7300af5
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Feb 10 10:35:37 2025 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog    |  10 ++
 doc/gawk.info    | 183 +++++++++++++++--------------
 doc/gawk.texi    |   8 +-
 doc/it/ChangeLog |   5 +
 doc/it/gawk.1    |   4 +-
 doc/it/gawk.texi |  48 +++-----
 doc/pm-gawk.info | 298 ++++++++++++++++++++++++++++++-----------------
 doc/pm-gawk.texi | 349 ++++++++++++++++++++++++++++++++++---------------------
 8 files changed, 544 insertions(+), 361 deletions(-)


hooks/post-receive
-- 
gawk