[SCM] gawk branch, master, updated. gawk-4.1.0-4050-g20cd640

[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  20cd6406b8a5c30d17cd78da4fda4ab94755df7e (commit)
       via  d10a27cb61fbbbe09490e46f379411a4a90b74f8 (commit)
      from  6f3a073ab7b564b34ec214363f50813d68ea623e (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=20cd6406b8a5c30d17cd78da4fda4ab94755df7e

commit 20cd6406b8a5c30d17cd78da4fda4ab94755df7e
Merge: 6f3a073 d10a27c
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Jul 13 16:15:15 2020 +0300

    Merge branch 'gawk-5.1-stable'


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

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


hooks/post-receive
-- 
gawk