[SCM] gawk branch, porting, updated. gawk-4.1.0-4090-g094a7f0

[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  094a7f0fb417251748e008dd8f4432849e6e69f8 (commit)
       via  a950f833d18938c0e2bb9599670eb3eb50f491c0 (commit)
      from  4ad12e6f3afb44d43f6e68c1f36eeaa57359dd02 (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=094a7f0fb417251748e008dd8f4432849e6e69f8

commit 094a7f0fb417251748e008dd8f4432849e6e69f8
Merge: 4ad12e6 a950f83
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Jun 7 20:41:31 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 support/ChangeLog |  5 +++++
 support/dfa.c     | 65 ++++++++++++-------------------------------------------
 2 files changed, 19 insertions(+), 51 deletions(-)


hooks/post-receive
-- 
gawk