[SCM] gawk branch, master, updated. gawk-4.1.0-4005-g5b112e8

[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, master has been updated
       via  5b112e89a080393836c25711ba5609d51adbcf74 (commit)
       via  7c2f9843cbc41b8e6730b671c9594a1ab3ef95f2 (commit)
      from  30855b7fef8c2dec73c4bfa290874c584dcdc580 (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=5b112e89a080393836c25711ba5609d51adbcf74

commit 5b112e89a080393836c25711ba5609d51adbcf74
Merge: 30855b7 7c2f984
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Jun 28 08:52:21 2020 +0300

    Merge branch 'gawk-5.1-stable'


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

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


hooks/post-receive
-- 
gawk