[SCM] gawk branch, porting, updated. gawk-4.1.0-4912-gcddf255

[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  cddf25552e95e5fbd78bbb56e8ee5411f8a52c97 (commit)
       via  d6404b8adac3d44272d0725786d5d45c291ee04d (commit)
      from  37085e8f6875f0d6525ed9b22aae55ba44ceddaf (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=cddf25552e95e5fbd78bbb56e8ee5411f8a52c97

commit cddf25552e95e5fbd78bbb56e8ee5411f8a52c97
Merge: 37085e8 d6404b8
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Dec 9 08:54:11 2021 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 28 ++++++++++++++--------------
 2 files changed, 18 insertions(+), 14 deletions(-)


hooks/post-receive
-- 
gawk