[SCM] gawk branch, porting, updated. gawk-4.1.0-6320-gfefbb20c

[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  fefbb20c695454549a8ec2aa7b3a718ed32da82a (commit)
       via  052f87ec546f80da791b5c229c565dbbc4bc3898 (commit)
       via  f4a85163624711ba95bd6995042fd53327548276 (commit)
       via  02de169a9c2c85af1b7fb8ddcf9f1026356567c3 (commit)
       via  da2e2e6f70cadab9a84c673fa45fdfe06150d9ce (commit)
       via  066dba4456309243ff46a53627f021ef80422f1a (commit)
       via  d3ca1afc64c82d340ba203cbabba68397dbb5afe (commit)
       via  ea471067dfa8536dd413eda63e74597dc4ad5348 (commit)
      from  73433330c4efb2d130c34d2d408d8cc9906b40ed (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=fefbb20c695454549a8ec2aa7b3a718ed32da82a

commit fefbb20c695454549a8ec2aa7b3a718ed32da82a
Merge: 73433330 052f87ec
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Oct 10 18:33:45 2024 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog          |   28 +-
 awk.h              |    1 +
 doc/ChangeLog      |    9 +-
 doc/gawk.info      | 1332 +++++++++++++++++++++++++++-------------------------
 doc/gawk.texi      |   66 +++
 io.c               |    8 +
 main.c             |    1 +
 profile.c          |   47 +-
 re.c               |    2 +-
 test/ChangeLog     |    8 +
 test/lintplus2.ok  |    1 -
 test/mpfrmemok1.ok |    1 -
 test/nsprof1.ok    |    3 -
 test/nsprof2.ok    |    3 -
 test/nsprof3.ok    |    2 -
 test/profile0.ok   |    1 -
 test/profile11.ok  |   28 ++
 test/profile13.ok  |    1 -
 test/profile14.ok  |    5 +-
 test/profile15.ok  |    2 -
 test/profile16.ok  |    2 -
 test/profile17.ok  |    1 -
 test/profile2.ok   |    1 -
 test/profile3.ok   |    1 -
 test/profile4.ok   |    1 -
 test/profile5.ok   |  386 ++++++++++++++-
 test/profile6.ok   |    1 -
 test/profile7.ok   |    1 -
 test/profile8.ok   |    1 -
 test/profile9.ok   |    3 +-
 30 files changed, 1272 insertions(+), 675 deletions(-)


hooks/post-receive
-- 
gawk