[SCM] gawk branch, porting, updated. gawk-4.1.0-4011-g92cdff5

[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  92cdff57c59acf506fdf586deaf92b9c2c55e6e9 (commit)
       via  61540ff93c81ad3a12c4831a9fb33dbac09f3632 (commit)
       via  233e90286ddd436dca2d52201dfc9317c8935dc2 (commit)
      from  6d733131d76dbaf023f22cd1610de588afe1d577 (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=92cdff57c59acf506fdf586deaf92b9c2c55e6e9

commit 92cdff57c59acf506fdf586deaf92b9c2c55e6e9
Merge: 6d73313 61540ff
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Mar 15 20:32:56 2020 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog       |  2 ++
 NEWS            |  4 ++--
 awkgram.c       | 12 ++++++------
 command.c       | 12 ++++++------
 doc/ChangeLog   |  4 ++++
 doc/texinfo.tex | 32 +++++++++++++-------------------
 6 files changed, 33 insertions(+), 33 deletions(-)


hooks/post-receive
-- 
gawk