[SCM] gawk branch, master, updated. gawk-4.1.0-4189-gfeb4488

[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, master has been updated
       via  feb44888085d1b08f5267675ab112a7385b7e6f0 (commit)
       via  c432356f6e1a544f31f65b7fbbee9e2f061bdb08 (commit)
       via  2811b2f83a6f230ade3d79978fcb469b3ce1a582 (commit)
      from  a93162b21db4ce388ae11b636a51abafaee5b580 (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=feb44888085d1b08f5267675ab112a7385b7e6f0

commit feb44888085d1b08f5267675ab112a7385b7e6f0
Merge: a93162b c432356
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Dec 1 06:31:26 2020 +0200

    Merge branch 'gawk-5.1-stable'


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

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