[SCM] gawk branch, porting, updated. gawk-4.1.0-4255-g4a1c3c4

[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  4a1c3c46994e217e64a483e44b94ce2602c1b97d (commit)
       via  886abd96488a120c196eddaf5db7943ff1b565e8 (commit)
       via  216cf481c7728792aff212416b378c432ab28ccf (commit)
      from  bb1b9b7e16ff94a5d895c14fa738f5bacbfbff69 (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=4a1c3c46994e217e64a483e44b94ce2602c1b97d

commit 4a1c3c46994e217e64a483e44b94ce2602c1b97d
Merge: bb1b9b7 886abd9
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Aug 20 01:41:46 2020 -0600

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog         | 5 +++++
 awk.h             | 3 +--
 test/ChangeLog    | 5 +++++
 test/profile14.ok | 1 +
 4 files changed, 12 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
gawk