[SCM] gawk branch, master, updated. gawk-4.1.0-4076-gb11ce4a

[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  b11ce4a54d8ed198e734b3f8a86ed0d245bdd664 (commit)
       via  34c8c8d06b766703fdc86136a0656e4baeeb7b69 (commit)
       via  77d54285702af30644b2e028c10d4ad77e560e40 (commit)
      from  a5cc0427756754da6e84bf9427b9f404d157244e (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=b11ce4a54d8ed198e734b3f8a86ed0d245bdd664

commit b11ce4a54d8ed198e734b3f8a86ed0d245bdd664
Merge: a5cc042 34c8c8d
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Jul 26 15:13:42 2020 +0300

    Merge branch 'gawk-5.1-stable'


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

Summary of changes:
 ChangeLog           |   4 +
 doc/ChangeLog       |   6 ++
 doc/gawk.info       | 295 ++++++++++++++++++++++++++--------------------------
 doc/gawk.texi       |  24 +++--
 doc/gawktexi.in     |  24 +++--
 extension/ChangeLog |   5 +
 extension/intdiv.c  |  11 +-
 gawkapi.h           |  13 +--
 8 files changed, 207 insertions(+), 175 deletions(-)


hooks/post-receive
-- 
gawk