[SCM] gawk branch, porting, updated. gawk-4.1.0-4127-gbd5d506

[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  bd5d50679da12213659a1686adb2a40b48c8c145 (commit)
       via  5b112e89a080393836c25711ba5609d51adbcf74 (commit)
       via  7c2f9843cbc41b8e6730b671c9594a1ab3ef95f2 (commit)
      from  afdd132a4ce06c0635b0bcbbe534db8abdb1d67b (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=bd5d50679da12213659a1686adb2a40b48c8c145

commit bd5d50679da12213659a1686adb2a40b48c8c145
Merge: afdd132 5b112e8
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Jun 28 08:52:39 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 TODO | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
gawk