[SCM] gawk branch, porting, updated. gawk-4.1.0-4388-gf0b7fc6

[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  f0b7fc6881b4b6bd52a791cdd77504dffaa0fdcc (commit)
       via  feb44888085d1b08f5267675ab112a7385b7e6f0 (commit)
       via  c432356f6e1a544f31f65b7fbbee9e2f061bdb08 (commit)
       via  2811b2f83a6f230ade3d79978fcb469b3ce1a582 (commit)
      from  07287c7415d49942f8e29c499ed9ae1310c23017 (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=f0b7fc6881b4b6bd52a791cdd77504dffaa0fdcc

commit f0b7fc6881b4b6bd52a791cdd77504dffaa0fdcc
Merge: 07287c7 feb4488
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Dec 1 06:31:44 2020 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog         |   5 +
 doc/gawkinet.info     | 461 ++++++++++++++++++++++++++------------------------
 doc/gawkinet.texi     | 223 +++++++++++++-----------
 doc/gawkworkflow.info |   7 +-
 4 files changed, 368 insertions(+), 328 deletions(-)


hooks/post-receive
-- 
gawk