[SCM] gawk branch, porting, updated. gawk-4.1.0-5884-gd91ddc87

[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  d91ddc8796af195de4537d609eb4fa3214a1b971 (commit)
       via  b2877f793998084d6a3df5e3019b83f738d2940c (commit)
      from  e3c0ae8ec43f38d7ac48f19dfa12b78517b1740b (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=d91ddc8796af195de4537d609eb4fa3214a1b971

commit d91ddc8796af195de4537d609eb4fa3214a1b971
Merge: e3c0ae8e b2877f79
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Sep 11 10:06:49 2023 -0700

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |   5 ++
 doc/gawk.info   | 150 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   3 +-
 doc/gawktexi.in |   3 +-
 4 files changed, 84 insertions(+), 77 deletions(-)


hooks/post-receive
-- 
gawk