[SCM] gawk branch, porting, updated. gawk-4.1.0-4079-g7210434

[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  7210434292dacf1fbfff58d288cf8d4465587b6c (commit)
       via  d5160ca6fe250209102c8c679271bd46b93f3b94 (commit)
       via  c5507da8a8b29bc0f7d4c5f028233cbeee8ded5e (commit)
      from  159b7b4cb689f8bda6a352330b435cb3353ad6eb (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=7210434292dacf1fbfff58d288cf8d4465587b6c

commit 7210434292dacf1fbfff58d288cf8d4465587b6c
Merge: 159b7b4 d5160ca
Author: Arnold D. Robbins <address@hidden>
Date:   Fri May 15 09:12:15 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog                        |   4 ++
 config.guess                     |   9 ++-
 config.sub                       |   4 +-
 doc/ChangeLog                    |   5 ++
 doc/gawkworkflow.info            | 144 +++++++++++++++++++++------------------
 doc/gawkworkflow.texi            |  35 ++++++----
 doc/texinfo.tex                  |  99 ++++++++++++++++-----------
 extension/build-aux/ChangeLog    |   4 ++
 extension/build-aux/config.guess |   9 ++-
 extension/build-aux/config.sub   |   4 +-
 10 files changed, 190 insertions(+), 127 deletions(-)


hooks/post-receive
-- 
gawk