[SCM] gawk branch, porting, updated. gawk-4.1.0-5558-g48c5cb22

[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  48c5cb225a999d03d4394a9bf54e9259e8c0df33 (commit)
       via  5bd265e1921e2cf732f1c191fef2434d4a33970d (commit)
       via  df616f664859ed9e9f71e66641e84f9f12d8d7b3 (commit)
      from  e70b4f61cd5277aa7d14243fac1bfea7428e7315 (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=48c5cb225a999d03d4394a9bf54e9259e8c0df33

commit 48c5cb225a999d03d4394a9bf54e9259e8c0df33
Merge: e70b4f61 5bd265e1
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Dec 4 21:37:58 2022 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog       |  14 ++
 NEWS            |  17 +-
 awk.h           |   3 +-
 doc/ChangeLog   |   5 +
 doc/gawk.info   | 478 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   2 +-
 doc/gawktexi.in |   2 +-
 main.c          |   6 +-
 symbol.c        |  40 +++--
 9 files changed, 310 insertions(+), 257 deletions(-)


hooks/post-receive
-- 
gawk