[SCM] gawk branch, porting, updated. gawk-4.1.0-4067-g25ec2b9

[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  25ec2b9ba8a949cb90ea75b437cad6a8561ed0e6 (commit)
       via  1b79c13f8aa4c93ea727b1d42b30f3838faeaedf (commit)
      from  6ecd998f04378dea92c18791779666e20dcdb583 (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=25ec2b9ba8a949cb90ea75b437cad6a8561ed0e6

commit 25ec2b9ba8a949cb90ea75b437cad6a8561ed0e6
Merge: 6ecd998 1b79c13
Author: Arnold D. Robbins <address@hidden>
Date:   Wed May 6 20:55:51 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog         | 12 ++++++++++++
 awk.h             |  1 +
 awkgram.c         |  8 +++++++-
 awkgram.y         |  8 +++++++-
 eval.c            |  1 +
 interpret.h       |  9 +++++++++
 pc/Makefile.tst   |  9 +++++++--
 test/ChangeLog    |  5 +++++
 test/Makefile.am  |  6 ++++--
 test/Makefile.in  | 11 +++++++++--
 test/Maketests    |  5 +++++
 test/lintplus.awk |  1 +
 test/lintplus.ok  |  2 ++
 13 files changed, 70 insertions(+), 8 deletions(-)
 create mode 100644 test/lintplus.awk
 create mode 100644 test/lintplus.ok


hooks/post-receive
-- 
gawk