[gawk-diffs] [SCM] gawk branch, feature/api-mpfr, updated. gawk-4.1.0-2628-g8a10b95

[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, feature/api-mpfr has been updated
       via  8a10b9568c33917cc28930b439e96ee4ed7a46cd (commit)
       via  6d75aa092bf1e04201c8bfa1c2ce88ca22422a00 (commit)
       via  38f2c2b262c1329dd3c4919f027c5185f24fab0e (commit)
      from  1d9b00da83d88f353dd517bb8a763baf34d7c80f (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=8a10b9568c33917cc28930b439e96ee4ed7a46cd

commit 8a10b9568c33917cc28930b439e96ee4ed7a46cd
Merge: 1d9b00d 6d75aa0
Author: Arnold D. Robbins <address@hidden>
Date:   Tue May 23 05:52:38 2017 +0300

    Merge branch 'master' into feature/api-mpfr


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

Summary of changes:
 ChangeLog | 1 +
 NEWS      | 6 +++++-
 2 files changed, 6 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
gawk