[SCM] gawk branch, master, updated. gawk-4.1.0-4081-g9ef797b

[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, master has been updated
       via  9ef797b31c4d9200774ce8e6040c0eb009c58518 (commit)
       via  7b10924a0f6cc443742af2f032ddbafea1c62e4e (commit)
       via  3bad8398ede448edf2b9f9d6476bb60952845b83 (commit)
       via  7929ad9024cf2ede057f21e8c1cf58bba240c233 (commit)
       via  bd2fc195fd0e10d989b14c01e57baace5a344ad1 (commit)
      from  b11ce4a54d8ed198e734b3f8a86ed0d245bdd664 (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=9ef797b31c4d9200774ce8e6040c0eb009c58518

commit 9ef797b31c4d9200774ce8e6040c0eb009c58518
Merge: b11ce4a 7b10924
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Jul 28 20:47:34 2020 +0300

    Merge branch 'gawk-5.1-stable'


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

Summary of changes:
 ChangeLog            |  11 ++
 TODO                 |   4 +-
 awk.h                |   6 +-
 awkgram.c            |   4 +-
 awkgram.y            |   4 +-
 build-aux/ChangeLog  |   4 +
 build-aux/install-sh | 115 +++++++++------------
 debug.c              |   2 +-
 doc/ChangeLog        |   5 +
 doc/gawk.info        | 283 ++++++++++++++++++++++++++-------------------------
 doc/gawk.texi        |   2 +-
 doc/gawktexi.in      |   2 +-
 eval.c               |   2 +-
 13 files changed, 226 insertions(+), 218 deletions(-)


hooks/post-receive
-- 
gawk