[SCM] gawk branch, porting, updated. gawk-4.1.0-5736-ge1306429

[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  e13064296e47687d08abe92a71be3a4e7cbe00e2 (commit)
       via  0dc720c325bd76dc6bebc48cd151905e73ff7ce6 (commit)
       via  5d6a270d4929e7b24d7cd41c59d75bcd1c93a868 (commit)
      from  a6550c53cb3fd307a64ac0a4c02142d17de2d7c7 (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=e13064296e47687d08abe92a71be3a4e7cbe00e2

commit e13064296e47687d08abe92a71be3a4e7cbe00e2
Merge: a6550c53 0dc720c3
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Apr 4 08:50:12 2023 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |   6 +
 doc/gawk.info   | 768 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   6 +-
 doc/gawktexi.in |   6 +-
 4 files changed, 396 insertions(+), 390 deletions(-)


hooks/post-receive
-- 
gawk