[SCM] gawk branch, porting, updated. gawk-4.1.0-4236-g0a83507

[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  0a83507414f04500215550ad875614d735033fe5 (commit)
       via  1316328fd5e4677a4096ee116ad411e6af10cc57 (commit)
      from  1087714057fef43e8f513ffd3d31e7930b20c990 (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=0a83507414f04500215550ad875614d735033fe5

commit 0a83507414f04500215550ad875614d735033fe5
Merge: 1087714 1316328
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Aug 4 09:13:06 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 NEWS             |  3 +++
 pc/ChangeLog     |  4 ++++
 pc/Makefile.tst  | 65 ++++++++++++++++++++++++++------------------------------
 test/ChangeLog   | 11 ++++++++++
 test/Gentests    | 33 ++++++++++++----------------
 test/Makefile.am | 17 ++++++---------
 test/Makefile.in | 65 ++++++++++++++++++++++++++------------------------------
 test/Maketests   | 48 ++++++++++++++++++++---------------------
 8 files changed, 122 insertions(+), 124 deletions(-)


hooks/post-receive
-- 
gawk