[SCM] gawk branch, porting, updated. gawk-4.1.0-4676-ga8712d6

[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  a8712d658c202f1823add2e2367728fce328c0b8 (commit)
       via  adc320065e5e62ff0cdada35d7964a378638d1fd (commit)
      from  f15120fe2309997f4faab3c0395d8729917e03a5 (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=a8712d658c202f1823add2e2367728fce328c0b8

commit a8712d658c202f1823add2e2367728fce328c0b8
Merge: f15120f adc3200
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Jul 2 10:25:51 2021 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/ChangeLog   |   4 +
 doc/it/texinfo.tex | 243 ++++++++++++++---------------------------------------
 2 files changed, 69 insertions(+), 178 deletions(-)


hooks/post-receive
-- 
gawk