[SCM] gawk branch, porting, updated. gawk-4.1.0-5957-gf1583fb0

[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  f1583fb083dfe5726140d0e77f8df40db8cee572 (commit)
       via  b488e3dc713c2dc62f7df5f026a070361b2a0161 (commit)
      from  6cbb91401f9e2afcc6946e5e8bb2784b2c2288a6 (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=f1583fb083dfe5726140d0e77f8df40db8cee572

commit f1583fb083dfe5726140d0e77f8df40db8cee572
Merge: 6cbb9140 b488e3dc
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Oct 19 14:05:58 2023 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 helpers/ChangeLog |  5 +++++
 helpers/testdfa.c | 18 +++++++++++++++---
 2 files changed, 20 insertions(+), 3 deletions(-)


hooks/post-receive
-- 
gawk