[SCM] gawk branch, porting, updated. gawk-4.1.0-4183-g13f4c84

[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  13f4c84e24c3c31ccdf0c58cfeef61ba72b89eac (commit)
       via  6f3a073ab7b564b34ec214363f50813d68ea623e (commit)
       via  0446a2679b81c5e319dfe74074d1b9ab441213f1 (commit)
      from  8b64a325328434e496341370e9bc6fc317e2eb72 (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=13f4c84e24c3c31ccdf0c58cfeef61ba72b89eac

commit 13f4c84e24c3c31ccdf0c58cfeef61ba72b89eac
Merge: 8b64a32 6f3a073
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Jul 13 16:06:15 2020 +0300

    Merge branch 'master' into porting


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

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