[gawk-diffs] [SCM] gawk branch, feature/api-mpfr, updated. gawk-4.1.0-2672-g612b085

[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  612b08553aa3595b55c744a18a51eb844a39592f (commit)
       via  8e8326d91e40166e25921b323ad468399c11d60d (commit)
      from  2e784192b9540ebb7d56800910a1b3f331b44a94 (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=612b08553aa3595b55c744a18a51eb844a39592f

commit 612b08553aa3595b55c744a18a51eb844a39592f
Merge: 2e78419 8e8326d
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Jul 7 11:55:03 2017 +0300

    Merge branch 'master' into feature/api-mpfr


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

Summary of changes:
 ChangeLog |  5 ++++
 gawkapi.h | 83 +++++++++++++++++++++++++++++++++++++--------------------------
 io.c      | 11 ++++++---
 3 files changed, 61 insertions(+), 38 deletions(-)


hooks/post-receive
-- 
gawk