[SCM] gawk branch, porting, updated. gawk-4.1.0-4186-g598e857

[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  598e857442c643aeac27679d2e4eb125e0c8bd5a (commit)
       via  20cd6406b8a5c30d17cd78da4fda4ab94755df7e (commit)
       via  d10a27cb61fbbbe09490e46f379411a4a90b74f8 (commit)
      from  13f4c84e24c3c31ccdf0c58cfeef61ba72b89eac (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=598e857442c643aeac27679d2e4eb125e0c8bd5a

commit 598e857442c643aeac27679d2e4eb125e0c8bd5a
Merge: 13f4c84 20cd640
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Jul 13 16:15:25 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog | 5 +++++
 mpfr.c    | 4 ++--
 2 files changed, 7 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
gawk