[SCM] gawk branch, porting, updated. gawk-4.1.0-4695-g93d3247

[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  93d3247f7d2c17e9ca146ef1c743d58422d6c93f (commit)
       via  2db204045f8060dbe1fc09f765373c101d0aad2c (commit)
       via  f056f0a42953c9297f60335421ccd7609cba698e (commit)
       via  cfd75e17cf2d3cbb847859e88656c051280403e4 (commit)
      from  1d2ae251ecc86cd6c38fd6fbf5b89c327dcae10a (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=93d3247f7d2c17e9ca146ef1c743d58422d6c93f

commit 93d3247f7d2c17e9ca146ef1c743d58422d6c93f
Merge: 1d2ae25 2db2040
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Jul 15 21:55:15 2021 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 70 ++++--------------------------------------------------
 helpers/ChangeLog  |  4 ++++
 helpers/testdfa.c  | 14 ++++++++---
 4 files changed, 23 insertions(+), 69 deletions(-)


hooks/post-receive
-- 
gawk