[gawk-diffs] [SCM] gawk branch, feature/api-mpfr, updated. gawk-4.1.0-2470-g65ed9b6

[Andrew J. Schorr]

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  65ed9b66cada11364e9b67ea1cd178b259cd0e36 (commit)
       via  b39a138b9e445073f5f70ece80fa8a5393b1ea50 (commit)
      from  1ddefd468ecec3eb940dbe4d0024aa1c73189187 (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=65ed9b66cada11364e9b67ea1cd178b259cd0e36

commit 65ed9b66cada11364e9b67ea1cd178b259cd0e36
Merge: 1ddefd4 b39a138
Author: Andrew J. Schorr <address@hidden>
Date:   Tue Mar 7 09:03:23 2017 -0500

    Merge branch 'master' into feature/api-mpfr


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

Summary of changes:
 extension/ChangeLog   | 12 ++++++++++++
 extension/Makefile.am |  9 +++++++--
 extension/Makefile.in | 44 +++++++++++++++++++++++++++++++-------------
 3 files changed, 50 insertions(+), 15 deletions(-)


hooks/post-receive
-- 
gawk