[SCM] gawk branch, master, updated. gawk-4.1.0-4048-g6f3a073

[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  6f3a073ab7b564b34ec214363f50813d68ea623e (commit)
       via  0446a2679b81c5e319dfe74074d1b9ab441213f1 (commit)
      from  6023694f7921a228142427ff99fffd3e72e74889 (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=6f3a073ab7b564b34ec214363f50813d68ea623e

commit 6f3a073ab7b564b34ec214363f50813d68ea623e
Merge: 6023694 0446a26
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Jul 13 16:05:49 2020 +0300

    Merge branch 'gawk-5.1-stable'


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

Summary of changes:
 doc/ChangeLog       |   6 ++
 doc/gawk.info       | 281 ++++++++++++++++++++++++++--------------------------
 doc/gawk.texi       |   9 +-
 doc/gawktexi.in     |   9 +-
 extension/ChangeLog |   6 ++
 extension/intdiv.c  |   7 ++
 6 files changed, 178 insertions(+), 140 deletions(-)


hooks/post-receive
-- 
gawk