[SCM] gawk branch, porting, updated. gawk-4.1.0-5385-ge8a6cc1c

[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  e8a6cc1ca7f1ccf98af8f972d63a5816fb007478 (commit)
       via  91cd52599f7bb857be23575e5d2da6a634b0b0ab (commit)
       via  141a9e05f552d30b45e0c66a21e79ca9e7de54e9 (commit)
      from  4c20043c397c247fa39de8c52492eb0f764cef17 (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=e8a6cc1ca7f1ccf98af8f972d63a5816fb007478

commit e8a6cc1ca7f1ccf98af8f972d63a5816fb007478
Merge: 4c20043c 91cd5259
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Oct 4 12:19:24 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |    5 +
 doc/gawk.info   | 1244 +++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   20 +-
 doc/gawktexi.in |   20 +-
 4 files changed, 647 insertions(+), 642 deletions(-)


hooks/post-receive
-- 
gawk