[SCM] gawk branch, porting, updated. gawk-4.1.0-4665-ga5efa06

[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  a5efa06ab106715d9f654357c1b8f5872cbe1068 (commit)
       via  494def1df53684a18640dce92eb7c0dda9742648 (commit)
      from  4303dd99249587b86abadaece92e0ff4e306d7e0 (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=a5efa06ab106715d9f654357c1b8f5872cbe1068

commit a5efa06ab106715d9f654357c1b8f5872cbe1068
Merge: 4303dd9 494def1
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Jun 25 12:10:33 2021 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 52 ++++++++++++++++++++++++++++++++++++++++++++++------
 2 files changed, 50 insertions(+), 6 deletions(-)


hooks/post-receive
-- 
gawk