[SCM] gawk branch, porting, updated. gawk-4.1.0-5578-g62ab18da

[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  62ab18da9bf5ede8b369ed45a98816e7ef83aaf0 (commit)
       via  4dc3da507ec41fcd1967c33e087aa6ce40e08bf0 (commit)
       via  8066f8b4c6d50706052f79ffe4478715a9d2b622 (commit)
       via  38fb7a236a815ee17d39501ae9366a141e86cafe (commit)
      from  e4aa07e7bd6fe154e6f0585b05c4fdaebb58de2c (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=62ab18da9bf5ede8b369ed45a98816e7ef83aaf0

commit 62ab18da9bf5ede8b369ed45a98816e7ef83aaf0
Merge: e4aa07e7 4dc3da50
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Dec 23 09:43:05 2022 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog             |   4 +
 README                |   2 +-
 build-aux/ChangeLog   |   4 +
 build-aux/texinfo.tex | 404 +++++++++++++++++++++++++++-----------------------
 doc/ChangeLog         |   4 +
 doc/texinfo.tex       | 404 +++++++++++++++++++++++++++-----------------------
 support/ChangeLog     |   4 +
 support/verify.h      |   2 +-
 8 files changed, 452 insertions(+), 376 deletions(-)


hooks/post-receive
-- 
gawk