[SCM] gawk branch, porting, updated. gawk-4.1.0-4097-gfc65b03

[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  fc65b03c56c04d298cbf812f1526bddd7ae35329 (commit)
       via  23db0769e868c8389aa377a6f9149a014178cafd (commit)
      from  002157de96b0ea1268b438a4847c2b5a9f4928d7 (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=fc65b03c56c04d298cbf812f1526bddd7ae35329

commit fc65b03c56c04d298cbf812f1526bddd7ae35329
Merge: 002157d 23db076
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Jun 10 06:15:48 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog | 9 +++++++++
 awk.h     | 5 +++--
 profile.c | 2 +-
 3 files changed, 13 insertions(+), 3 deletions(-)


hooks/post-receive
-- 
gawk