[SCM] gawk branch, porting, updated. gawk-4.1.0-5268-g4dfcbe17

[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  4dfcbe178ea6c1263203202757729adf27ec3fab (commit)
       via  c2c6d40dca9a4394c4e56d01f93c20483b480338 (commit)
       via  39657bcb1042369fd63f9f1fb5c9f161b89e69ce (commit)
       via  26434aa7a729b79e7a98327473d9973d1f22bd2c (commit)
      from  5eb254720e670c0d3ebd31a4064fd6756d717976 (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=4dfcbe178ea6c1263203202757729adf27ec3fab

commit 4dfcbe178ea6c1263203202757729adf27ec3fab
Merge: 5eb25472 c2c6d40d
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Aug 11 14:52:20 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 configure          | 3 ---
 doc/it/ChangeLog   | 4 ++++
 doc/it/gawktexi.in | 8 ++++++--
 m4/ChangeLog       | 5 +++++
 m4/pma.m4          | 5 ++++-
 5 files changed, 19 insertions(+), 6 deletions(-)


hooks/post-receive
-- 
gawk