[SCM] gawk branch, porting, updated. gawk-4.1.0-4349-g7f5e25b

[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  7f5e25b62b8511eb45694f9c9eb4bc613f0d4cf8 (commit)
       via  b9965467870a614567007bdf46a56dadabdb34a5 (commit)
      from  9e2f02f5e4b117fc1d68e20c6816d9a7c8383aed (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=7f5e25b62b8511eb45694f9c9eb4bc613f0d4cf8

commit 7f5e25b62b8511eb45694f9c9eb4bc613f0d4cf8
Merge: 9e2f02f b996546
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Oct 30 10:16:08 2020 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 48 +++++++++++++++++++++++++++++++++++++++++-------
 2 files changed, 45 insertions(+), 7 deletions(-)


hooks/post-receive
-- 
gawk