[SCM] gawk branch, porting, updated. gawk-4.1.0-4327-g4a1528c

[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  4a1528c7eeae6dc22f629766b0d4b9d6eb9143db (commit)
       via  a3e187cbb5c9ef951152f18fee1d36c93e4abbe5 (commit)
       via  dd9b0921ee9a6918279b3245d4373fdd1180ee13 (commit)
      from  001d6c8b1f8d583f9d43cb7878aa85ad1865608c (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=4a1528c7eeae6dc22f629766b0d4b9d6eb9143db

commit 4a1528c7eeae6dc22f629766b0d4b9d6eb9143db
Merge: 001d6c8 a3e187c
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Oct 11 16:41:09 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog             |   6 +++
 doc/ChangeLog         |   5 +++
 doc/gawkworkflow.info | 110 +++++++++++++++++++++++++-------------------------
 doc/gawkworkflow.texi |   2 +-
 doc/wordlist          |   9 ++---
 doc/wordlist2         |   1 -
 io.c                  |   2 +-
 re.c                  |   2 +-
 8 files changed, 73 insertions(+), 64 deletions(-)


hooks/post-receive
-- 
gawk