[SCM] gawk branch, porting, updated. gawk-4.1.0-4641-g5f3baf0

[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  5f3baf087979ee14359b27042c8899004bc54b5f (commit)
       via  9ad1fab7682ef7f8a099e8889ff05e36acc37ad3 (commit)
       via  11e5841dff821b7cee4308ea6596d4bef8d53466 (commit)
       via  ea7bbec49eff411dac42c34c1d743a9742715c8c (commit)
      from  7d0b861eec9b16d8cbf89b781a01de8cbfb08cd2 (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=5f3baf087979ee14359b27042c8899004bc54b5f

commit 5f3baf087979ee14359b27042c8899004bc54b5f
Merge: 7d0b861 9ad1fab
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Jun 4 10:41:46 2021 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog |  8 ++++++++
 builtin.c | 10 +++++-----
 2 files changed, 13 insertions(+), 5 deletions(-)


hooks/post-receive
-- 
gawk