[SCM] gawk branch, porting, updated. gawk-4.1.0-4881-g28854d2

[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  28854d23b97800c8af1979aa99ec9f8e74f5f71e (commit)
       via  6892647d502182ca383a4934c20bb0457fc44a51 (commit)
       via  bd92e255e0f3054d104583a60dae64e98d94c32d (commit)
      from  ef4c4df711b5c024e7fca18f9f1b849410fd1d6d (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=28854d23b97800c8af1979aa99ec9f8e74f5f71e

commit 28854d23b97800c8af1979aa99ec9f8e74f5f71e
Merge: ef4c4df 6892647
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Nov 15 22:11:47 2021 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |   5 +
 doc/gawk.info   | 904 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   2 +-
 doc/gawktexi.in |   2 +-
 4 files changed, 459 insertions(+), 454 deletions(-)


hooks/post-receive
-- 
gawk