[SCM] gawk branch, porting, updated. gawk-4.1.0-4198-g7085f23

[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  7085f2373349d4eff0d7bc9cc00805c25b2425df (commit)
       via  9ae6060d30ac47b5eeb88b6643807f52c0967f21 (commit)
       via  80f5ff05db1a2e3fa67c81eb1caf120156d3634f (commit)
      from  ba324ff16254d70c19c625991b8cdf8b95e4a936 (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=7085f2373349d4eff0d7bc9cc00805c25b2425df

commit 7085f2373349d4eff0d7bc9cc00805c25b2425df
Merge: ba324ff 9ae6060
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Jul 20 11:52:41 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 test/ChangeLog   | 4 ++++
 test/Makefile.am | 1 +
 test/Makefile.in | 3 ++-
 test/Maketests   | 2 +-
 4 files changed, 8 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
gawk