[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-4299-g136a64e

[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, feature/improve-inet has been updated
       via  136a64e84705ab74652c9933cc8605e78a4233af (commit)
       via  a950f833d18938c0e2bb9599670eb3eb50f491c0 (commit)
      from  f80a3890d1444b4dc6261480de67e808be1b1507 (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=136a64e84705ab74652c9933cc8605e78a4233af

commit 136a64e84705ab74652c9933cc8605e78a4233af
Merge: f80a389 a950f83
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Jun 7 20:41:50 2020 +0300

    Merge branch 'master' into feature/improve-inet


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

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


hooks/post-receive
-- 
gawk