[SCM] gawk branch, porting, updated. gawk-4.1.0-5873-g25b85b3d

[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  25b85b3daa2f101b8beb30e171e0d3a37ddfd733 (commit)
       via  76ca3d8634f9b33cfd2aaea91fe40b3ca6fe6db7 (commit)
       via  2874b94d73ff766b0f41ff7f259e7c8a0dab458c (commit)
       via  d5e252350e231414c9db3f39d8d6edb7f4d68be3 (commit)
       via  dfb89688329c65a52f537a37dcf2dfdc12b0d10f (commit)
       via  8445b30ad61fc813ee6d102ad3b32fb810abf55e (commit)
      from  729d76df553ad7e7a78b1116ee71ad6c86d8e5fe (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=25b85b3daa2f101b8beb30e171e0d3a37ddfd733

commit 25b85b3daa2f101b8beb30e171e0d3a37ddfd733
Merge: 729d76df 76ca3d86
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Aug 25 10:23:32 2023 -0700

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog              |   5 +
 build-aux/ChangeLog    |   4 +
 build-aux/config.guess |  47 ++++-
 build-aux/config.sub   |  66 +++----
 build-aux/depcomp      |   2 +-
 build-aux/texinfo.tex  | 489 +++++++++++++++++++++++++++++++------------------
 doc/ChangeLog          |   4 +
 doc/texinfo.tex        | 489 +++++++++++++++++++++++++++++++------------------
 node.c                 |   2 +-
 po/xhe.po              |  59 ++----
 re.c                   |   2 +-
 support/ChangeLog      |   5 +
 support/dfa.c          |  94 ++++++----
 support/flexmember.h   |  13 +-
 support/localeinfo.c   |  34 ++--
 support/localeinfo.h   |  13 +-
 support/regcomp.c      |   2 +-
 17 files changed, 829 insertions(+), 501 deletions(-)


hooks/post-receive
-- 
gawk