[SCM] gawk branch, porting, updated. gawk-4.1.0-5888-g67dd1a1d

[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  67dd1a1d8a3966d51bc40c0ea7f1a2257b19f2cc (commit)
       via  6bf18508200b38465dd772b1cb2dcec15a046dbe (commit)
      from  37bf2e3da2a2b6d4bbccde4037719c46d210a2b9 (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=67dd1a1d8a3966d51bc40c0ea7f1a2257b19f2cc

commit 67dd1a1d8a3966d51bc40c0ea7f1a2257b19f2cc
Merge: 37bf2e3d 6bf18508
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Sep 11 20:29:36 2023 -0700

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog       |  10 +++
 NEWS            |   5 ++
 doc/ChangeLog   |   6 ++
 doc/gawk.info   | 221 +++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |  11 +++
 doc/gawktexi.in |  11 +++
 gawkapi.c       |  15 ++--
 gawkapi.h       |   8 +-
 8 files changed, 171 insertions(+), 116 deletions(-)


hooks/post-receive
-- 
gawk