[SCM] gawk branch, master, updated. gawk-4.1.0-5605-g9495d767

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

commit 9495d7673090bcb8b7a61581b5bdd67dd6647609
Merge: 44cd7a0f 7e870b2e
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Aug 16 14:52:44 2024 +0300

    Merge branch 'gawk-5.3-stable'


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

Summary of changes:
 support/ChangeLog |  4 ++++
 support/cdefs.h   |  2 +-
 support/verify.h  | 15 +++++++++++++--
 3 files changed, 18 insertions(+), 3 deletions(-)


hooks/post-receive
-- 
gawk