[SCM] gawk branch, porting, updated. gawk-4.1.0-5985-g7d8966a4

[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  7d8966a400037ad154b6ca6da773b7a17818527f (commit)
       via  20cf4a837f2a7c8063d321f7abd22da1378f14a4 (commit)
       via  fd7fe3c762a78f42a40ebcc3ed143d198192fa00 (commit)
       via  841b0a19725dbefef61ac5e2dbce5480f1e1be7c (commit)
       via  b25a2d5a3e9f9058e4cee9a03a027dc9ca8d2f4a (commit)
      from  31f2767a6294a792f3852cf355253126ad59863e (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=7d8966a400037ad154b6ca6da773b7a17818527f

commit 7d8966a400037ad154b6ca6da773b7a17818527f
Merge: 31f2767a 20cf4a83
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Oct 24 13:12:05 2023 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/ChangeLog | 9 +++++++++
 doc/it/gawk.1    | 4 ++--
 doc/it/gawkbug.1 | 2 --
 3 files changed, 11 insertions(+), 4 deletions(-)


hooks/post-receive
-- 
gawk