[SCM] gawk branch, master, updated. gawk-4.1.0-5518-gdede6f7f

[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  dede6f7f3f6b091c087fc8cdf2ce9c4b16da5c57 (commit)
       via  5103bb44b763fc1018bb119270aed81acad8b022 (commit)
      from  d07cd60fdc72757177033faaf6d8cc156ee5eadc (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=dede6f7f3f6b091c087fc8cdf2ce9c4b16da5c57

commit dede6f7f3f6b091c087fc8cdf2ce9c4b16da5c57
Merge: d07cd60f 5103bb44
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun May 5 09:51:07 2024 +0300

    Merge branch 'gawk-5.3-stable'


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

Summary of changes:
 doc/ChangeLog  | 4 ++++
 doc/awkcard.in | 7 +++++--
 2 files changed, 9 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
gawk