[SCM] gawk branch, porting, updated. gawk-4.1.0-4252-gbb1b9b7

[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  bb1b9b7e16ff94a5d895c14fa738f5bacbfbff69 (commit)
       via  5f1833a32c83403de6284f556ff4fc2c5f5a834e (commit)
       via  9bf78bd65df65f2f406074fd17f0e0f22720b408 (commit)
      from  ce3d5430959a2db82a7c846d0a81bdb58f2a2cab (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=bb1b9b7e16ff94a5d895c14fa738f5bacbfbff69

commit bb1b9b7e16ff94a5d895c14fa738f5bacbfbff69
Merge: ce3d543 5f1833a
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Aug 18 20:47:44 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 build-aux/ChangeLog    |   4 +
 build-aux/config.guess |  28 +-
 build-aux/config.sub   |   4 +-
 doc/ChangeLog          |   5 +
 doc/gawk.info          | 700 ++++++++++++++++++++++++-------------------------
 doc/gawk.texi          |   2 +-
 doc/gawktexi.in        |   2 +-
 7 files changed, 377 insertions(+), 368 deletions(-)


hooks/post-receive
-- 
gawk