[SCM] gawk branch, porting, updated. gawk-4.1.0-4896-g8fbd7ed

[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  8fbd7edafacf0ba0b70f88a13dab83855aec62a4 (commit)
       via  b8f4d9b6ea0827bf33d4d5885deb6393410da613 (commit)
       via  5870bfcddf538fac3b87b65abc716d34766d94cf (commit)
       via  fb7e87e6660422c7cfb5c4c4a5180fdee67687a9 (commit)
      from  e7e04e64d3ce74ed97e9b22d4db8450fadfd71c5 (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=8fbd7edafacf0ba0b70f88a13dab83855aec62a4

commit 8fbd7edafacf0ba0b70f88a13dab83855aec62a4
Merge: e7e04e6 b8f4d9b
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Nov 25 22:43:53 2021 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |  10 +++++
 doc/gawk.info   | 135 +++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   9 ++++
 doc/gawktexi.in |   9 ++++
 4 files changed, 99 insertions(+), 64 deletions(-)


hooks/post-receive
-- 
gawk