[SCM] gawk branch, porting, updated. gawk-4.1.0-5933-g078b64e4

[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  078b64e42cf5a12e81942ec4d136ac8c504dbfb0 (commit)
       via  cc498e6edd43712285a4a6fdfd1568abffeaad97 (commit)
      from  58d3f9990633b596066b1599d15fb937153c27cc (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=078b64e42cf5a12e81942ec4d136ac8c504dbfb0

commit 078b64e42cf5a12e81942ec4d136ac8c504dbfb0
Merge: 58d3f999 cc498e6e
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Oct 11 09:09:44 2023 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |   4 +
 doc/gawk.info   | 729 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   6 +
 doc/gawktexi.in |   6 +
 4 files changed, 383 insertions(+), 362 deletions(-)


hooks/post-receive
-- 
gawk