[SCM] gawk branch, porting, updated. gawk-4.1.0-6392-gb8ed6f6d

[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  b8ed6f6dea614946c6cc4ebbda3b18750ae78b2e (commit)
       via  8d60b669651fad3e868004ad8a185f7a3ba80b79 (commit)
       via  284bfd02bdbd23bef4419cd2c45d4c8e8dc1cca9 (commit)
       via  dae1e1586105413906941c133fb525e03dcd707c (commit)
       via  8cf7fa2ba9e1663938c5b6a8e235dfc13ea3ba07 (commit)
      from  e0f67a3d6b2c34bc8b04ae49a4f3d27c768c1cd9 (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=b8ed6f6dea614946c6cc4ebbda3b18750ae78b2e

commit b8ed6f6dea614946c6cc4ebbda3b18750ae78b2e
Merge: e0f67a3d 8d60b669
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Dec 11 11:35:57 2024 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog        |  4 ++++
 awk.h            | 12 ------------
 doc/it/ChangeLog |  4 ++++
 doc/it/gawk.texi |  6 ++++++
 4 files changed, 14 insertions(+), 12 deletions(-)


hooks/post-receive
-- 
gawk