[SCM] gawk branch, porting, updated. gawk-4.1.0-6148-ga4ec1758

[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  a4ec1758dc90a4066ab9a124d96c0c6542bad911 (commit)
       via  707b42ddbcf7c12237a60b8e753c6e78fd3469ef (commit)
       via  f6689424be1ab7b43d4f6e7fe98fc08a9020bfc4 (commit)
       via  c1613c310d71b87f509458e0259ecd10eda2b140 (commit)
      from  f845bf96c72652829131cc006fbf42b4768bb6a4 (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=a4ec1758dc90a4066ab9a124d96c0c6542bad911

commit a4ec1758dc90a4066ab9a124d96c0c6542bad911
Merge: f845bf96 707b42dd
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun May 26 11:18:41 2024 -0400

    Merge branch 'master' into porting


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

Summary of changes:
 configure      |   2 +
 doc/ChangeLog  |   6 +
 doc/gawk.info  | 709 +++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi  |   6 +
 m4/ChangeLog   |   4 +
 m4/readline.m4 |   2 +
 6 files changed, 377 insertions(+), 352 deletions(-)


hooks/post-receive
-- 
gawk