[SCM] gawk branch, porting, updated. gawk-4.1.0-5718-g6bb1a1d0

[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  6bb1a1d067bd885a03c114dec74b4eeb7d089581 (commit)
       via  bafdbc1bb6da942a5099d884466e9bfc4c2af7bc (commit)
       via  c73b1c59e9b5da4874d95ca3484aa87891376ca3 (commit)
      from  921f10e15bf18ce0fb12fe5384c5e6d4a9d46c32 (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=6bb1a1d067bd885a03c114dec74b4eeb7d089581

commit 6bb1a1d067bd885a03c114dec74b4eeb7d089581
Merge: 921f10e1 bafdbc1b
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Mar 26 21:12:10 2023 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |   2 +
 doc/gawk.info   | 695 ++++++++++++++++++++++++++++++--------------------------
 doc/gawk.texi   |  55 ++++-
 doc/gawktexi.in |  55 ++++-
 4 files changed, 477 insertions(+), 330 deletions(-)


hooks/post-receive
-- 
gawk