[SCM] gawk branch, master, updated. gawk-4.1.0-4434-g251db37

[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  251db3795ba7dc4054c2df486c0e0e91e0b28f58 (commit)
       via  492c24d65f760edea1f9228260930728eb747cf7 (commit)
       via  f2e5270b21042a09bf33b86f31fbe79bd8fbea06 (commit)
      from  9499f135aa8dd6c8bd28acae3414bc951431f20f (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=251db3795ba7dc4054c2df486c0e0e91e0b28f58

commit 251db3795ba7dc4054c2df486c0e0e91e0b28f58
Merge: 9499f13 492c24d
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Aug 5 20:19:41 2021 +0300

    Merge branch 'gawk-5.1-stable'


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

Summary of changes:
 ChangeLog | 14 ++++++++++++++
 NEWS      |  5 ++++-
 mpfr.c    | 26 ++++++++++++++++++--------
 3 files changed, 36 insertions(+), 9 deletions(-)


hooks/post-receive
-- 
gawk