[SCM] gawk branch, porting, updated. gawk-4.1.0-4770-ga5215e3

[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  a5215e312089cf070048239550dc7efcfbc0045e (commit)
       via  67737cd62d9092f33636299f07ad269379158edc (commit)
      from  561ad3af444968e5d30afb329e6f0891b31293a9 (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=a5215e312089cf070048239550dc7efcfbc0045e

commit a5215e312089cf070048239550dc7efcfbc0045e
Merge: 561ad3a 67737cd
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Sep 22 16:03:03 2021 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |    7 +
 doc/awkcard.in  |    2 +-
 doc/gawk.info   | 1295 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   57 ++-
 doc/gawktexi.in |   57 ++-
 5 files changed, 779 insertions(+), 639 deletions(-)


hooks/post-receive
-- 
gawk