[SCM] gawk branch, porting, updated. gawk-4.1.0-6251-g9d2ebdcc

[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  9d2ebdccc52cdb3256096e0b4a3d197d13694af2 (commit)
       via  9495d7673090bcb8b7a61581b5bdd67dd6647609 (commit)
       via  7e870b2ead2fa1f1fa25219e24375b6bc0e4fe7d (commit)
       via  44cd7a0ff56bc07c4aaa5329d77f7707dc6cd1d3 (commit)
      from  34c127050ee8b8092d3da193a9f7a910c5d2e2e0 (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=9d2ebdccc52cdb3256096e0b4a3d197d13694af2

commit 9d2ebdccc52cdb3256096e0b4a3d197d13694af2
Merge: 34c12705 9495d767
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Aug 16 14:53:10 2024 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/ChangeLog  |   4 +++
 doc/it/gawk.texi  | 103 ++++++++++++++++++++++++++++++++++++++++++++----------
 support/ChangeLog |   4 +++
 support/cdefs.h   |   2 +-
 support/verify.h  |  15 ++++++--
 5 files changed, 107 insertions(+), 21 deletions(-)


hooks/post-receive
-- 
gawk