[SCM] gawk branch, porting, updated. gawk-4.1.0-4076-g159b7b4

[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  159b7b4cb689f8bda6a352330b435cb3353ad6eb (commit)
       via  c2f36795bec8103c8f144f64fb5b6854072de5b5 (commit)
      from  0033c66099388824a755d78a936297ba013e27aa (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=159b7b4cb689f8bda6a352330b435cb3353ad6eb

commit 159b7b4cb689f8bda6a352330b435cb3353ad6eb
Merge: 0033c66 c2f3679
Author: Arnold D. Robbins <address@hidden>
Date:   Thu May 14 20:44:19 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog |    5 +
 NEWS      |    5 +
 awkgram.c | 1146 ++++++++++++++++++++++++++++---------------------------------
 command.c |  860 ++++++++++++++++++++--------------------------
 4 files changed, 914 insertions(+), 1102 deletions(-)


hooks/post-receive
-- 
gawk