[gawk-diffs] [SCM] gawk branch, feature/api-mpfr, updated. gawk-4.1.0-2502-g967e4b9

[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  967e4b9ec9e1b7cc7ca9968f6fe822f3b1155f53 (commit)
       via  bd6dc293e35fdeac05bd1577593e111fd09d22b7 (commit)
      from  75981b3d127c3c97329b5b085bddebf3b40e797d (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=967e4b9ec9e1b7cc7ca9968f6fe822f3b1155f53

commit 967e4b9ec9e1b7cc7ca9968f6fe822f3b1155f53
Merge: 75981b3 bd6dc29
Author: Arnold D. Robbins <address@hidden>
Date:   Tue Apr 11 22:24:41 2017 +0300

    Merge branch 'master' into feature/api-mpfr


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

Summary of changes:
 ChangeLog |  8 ++++++++
 awk.h     |  5 +++++
 io.c      | 12 ++++++++++++
 main.c    |  8 ++++++++
 4 files changed, 33 insertions(+)


hooks/post-receive
-- 
gawk