[SCM] gawk branch, porting, updated. gawk-4.1.0-4698-g5cfdbfc

[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  5cfdbfcfc2348e0ee5b9b2053c12f6073963a7c3 (commit)
       via  b754bef14316ff2b341fac4339940a29d6955d6c (commit)
       via  93881c26428a4d07ee348c34b59f3b9586853535 (commit)
      from  93d3247f7d2c17e9ca146ef1c743d58422d6c93f (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=5cfdbfcfc2348e0ee5b9b2053c12f6073963a7c3

commit 5cfdbfcfc2348e0ee5b9b2053c12f6073963a7c3
Merge: 93d3247 b754bef
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Jul 23 10:18:06 2021 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog |  8 ++++++++
 awk.h     | 12 +++++++++++-
 debug.c   |  2 +-
 profile.c |  8 ++++----
 4 files changed, 24 insertions(+), 6 deletions(-)


hooks/post-receive
-- 
gawk