[SCM] gawk branch, porting, updated. gawk-4.1.0-5886-g37bf2e3d

[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  37bf2e3da2a2b6d4bbccde4037719c46d210a2b9 (commit)
       via  c152e2d2d601f37b6a8dd354c27e2cb81e7ccca5 (commit)
      from  d91ddc8796af195de4537d609eb4fa3214a1b971 (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=37bf2e3da2a2b6d4bbccde4037719c46d210a2b9

commit 37bf2e3da2a2b6d4bbccde4037719c46d210a2b9
Merge: d91ddc87 c152e2d2
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Sep 11 17:53:36 2023 -0700

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog       |    4 +
 doc/ChangeLog   |    8 +-
 doc/awkcard.in  |    2 -
 doc/gawk.info   | 1056 +++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |    8 +-
 doc/gawktexi.in |    8 +-
 field.c         |    2 +-
 7 files changed, 544 insertions(+), 544 deletions(-)


hooks/post-receive
-- 
gawk