[SCM] gawk branch, porting, updated. gawk-4.1.0-4229-g2f9857d

[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  2f9857d30b981586890744744045ae70dc638b7d (commit)
       via  4964fa6b821bc7e6c9214019e24955169fd7d3be (commit)
       via  6922f06b21ad10c5bfd07ae22d149f700f761a67 (commit)
      from  03162ad1867ce4b4160b7223b19dca2125fda8e4 (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=2f9857d30b981586890744744045ae70dc638b7d

commit 2f9857d30b981586890744744045ae70dc638b7d
Merge: 03162ad 4964fa6
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Jul 29 15:56:32 2020 +0300

    Merge branch 'master' into porting


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

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