[SCM] gawk branch, porting, updated. gawk-4.1.0-5232-gb01e4884

[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  b01e488412bb5b7ec532660ac24e64dbaa025f4d (commit)
       via  ee1c66081e6db5760cf1994590ec4e1a936bcd87 (commit)
       via  39bc79de57de452b916d1d9598c726974b0008d2 (commit)
       via  5ac195b409ac01287c92f6336abc19966502589a (commit)
       via  46786198e0638ac63f8b0ac914ad03a95e4e5461 (commit)
       via  e709eb829448ce040087a3fc5481db6bfcaae212 (commit)
       via  e6aa63dc9292da6d94e6c706ee0a63b8506642d8 (commit)
       via  fae1232961578b519d253283790d9e339ebffd9f (commit)
       via  381d737cbf4e68586111a9ded7854602b5603c44 (commit)
      from  e6bdd728169bc36e772703eee0136b76c3ffa4aa (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=b01e488412bb5b7ec532660ac24e64dbaa025f4d

commit b01e488412bb5b7ec532660ac24e64dbaa025f4d
Merge: e6bdd728 ee1c6608
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Aug 3 20:55:57 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog                 |   6 +
 README_d/ChangeLog        |   8 +
 README_d/README.pc        | 109 +++-------
 builtin.c                 |   5 +-
 doc/ChangeLog             |   9 +
 doc/gawk.info             | 501 +++++++++++++++++++++++-----------------------
 doc/gawk.texi             |  14 +-
 doc/gawktexi.in           |  14 +-
 helpers/ChangeLog         |   4 +
 helpers/update-support.sh |   5 +
 support/ChangeLog         |   4 +
 support/pma.c             |   8 +-
 support/pma.h             |   2 +-
 13 files changed, 338 insertions(+), 351 deletions(-)


hooks/post-receive
-- 
gawk