[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-4438-ga9b4b25

[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  a9b4b252e6f21b309bd04679138be0b2e960cf62 (commit)
       via  4964fa6b821bc7e6c9214019e24955169fd7d3be (commit)
       via  6922f06b21ad10c5bfd07ae22d149f700f761a67 (commit)
      from  c8f6253aa8110c4340647fede9f71a5bf2c63b7a (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=a9b4b252e6f21b309bd04679138be0b2e960cf62

commit a9b4b252e6f21b309bd04679138be0b2e960cf62
Merge: c8f6253 4964fa6
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Jul 29 15:56:58 2020 +0300

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 ChangeLog         | 4 ++++
 custom.h          | 1 +
 support/ChangeLog | 4 ++++
 support/dfa.h     | 2 +-
 4 files changed, 10 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
gawk