[SCM] gawk branch, porting, updated. gawk-4.1.0-4352-g9c3b9e2

[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  9c3b9e2a2f9d25dee7144f068b51753e58dad22e (commit)
       via  c2f26d724d65ae3972920013e785906bb4983c96 (commit)
       via  0d3a908f006f391deb3dc25cc0a5c7af75d9904c (commit)
      from  7f5e25b62b8511eb45694f9c9eb4bc613f0d4cf8 (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=9c3b9e2a2f9d25dee7144f068b51753e58dad22e

commit 9c3b9e2a2f9d25dee7144f068b51753e58dad22e
Merge: 7f5e25b c2f26d7
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sat Oct 31 19:37:10 2020 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog              |  6 ++++++
 build-aux/ChangeLog    |  4 ++++
 build-aux/config.guess |  3 ++-
 doc/ChangeLog          |  4 ++++
 doc/texinfo.tex        | 24 ++++++++++++++++++------
 re.c                   |  4 ++--
 6 files changed, 36 insertions(+), 9 deletions(-)


hooks/post-receive
-- 
gawk