[SCM] gawk branch, master, updated. gawk-4.1.0-5527-g707b42dd

[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, master has been updated
       via  707b42ddbcf7c12237a60b8e753c6e78fd3469ef (commit)
       via  f6689424be1ab7b43d4f6e7fe98fc08a9020bfc4 (commit)
       via  c1613c310d71b87f509458e0259ecd10eda2b140 (commit)
      from  b6b23300b371dfe725566c737f5b40336932aa91 (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=707b42ddbcf7c12237a60b8e753c6e78fd3469ef

commit 707b42ddbcf7c12237a60b8e753c6e78fd3469ef
Merge: b6b23300 f6689424
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun May 26 11:18:06 2024 -0400

    Merge branch 'gawk-5.3-stable'


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

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