[gawk-diffs] [SCM] gawk branch, feature/api-mpfr, updated. gawk-4.1.0-2613-g275b4b9

[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  275b4b981b44581fcb5e3e77333376e1eb3dc2e2 (commit)
       via  8972aa34f007e12c3eb3270b79d39403d80a542f (commit)
      from  98e04eab9812876e2c10cfd1e4afd859b09b5cf7 (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=275b4b981b44581fcb5e3e77333376e1eb3dc2e2

commit 275b4b981b44581fcb5e3e77333376e1eb3dc2e2
Merge: 98e04ea 8972aa3
Author: Arnold D. Robbins <address@hidden>
Date:   Wed Apr 26 06:47:33 2017 +0300

    Merge branch 'master' into feature/api-mpfr


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

Summary of changes:
 helpers/ChangeLog     |  6 ++++++
 helpers/test-build.sh | 21 ++++++++++++---------
 2 files changed, 18 insertions(+), 9 deletions(-)


hooks/post-receive
-- 
gawk