[SCM] gawk branch, porting, updated. gawk-4.1.0-5092-g908b5f38

[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  908b5f38d99161e14edea92e05117e2fecc9a24c (commit)
       via  86291c81e0862baeaba047c3464370524434713b (commit)
       via  5456e9b6c741ffb0323e862cadb0977330df51b4 (commit)
      from  b2fb1a2c9082ae03f3ec44360086426dda89c0a0 (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=908b5f38d99161e14edea92e05117e2fecc9a24c

commit 908b5f38d99161e14edea92e05117e2fecc9a24c
Merge: b2fb1a2c 86291c81
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu May 19 12:51:44 2022 -0400

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |  5 +++++
 doc/gawk.info   | 65 ++++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |  3 +++
 doc/gawktexi.in |  3 +++
 4 files changed, 45 insertions(+), 31 deletions(-)


hooks/post-receive
-- 
gawk