[gawk-diffs] [SCM] gawk branch, feature/api-mpfr, updated. gawk-4.1.0-2453-g512c96f

[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  512c96f284f5179b895ccc9c24b22d12ccc1b0f8 (commit)
       via  eb8d0c64228657bad4ef2e2fd732eeed937f3af1 (commit)
       via  0d33c5c273087061f390ad7b519a2cf63b8d786d (commit)
       via  af3bd5ea36908e9d706dd18bfd263e3fd83ee279 (commit)
      from  6db8cc17cd606740bead639a2d451c400dd83631 (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=512c96f284f5179b895ccc9c24b22d12ccc1b0f8

commit 512c96f284f5179b895ccc9c24b22d12ccc1b0f8
Merge: 6db8cc1 eb8d0c6
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Feb 13 06:21:22 2017 +0200

    Merge branch 'master' into feature/api-mpfr


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

Summary of changes:
 doc/ChangeLog   |  10 +++
 doc/gawk.info   | 270 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   8 +-
 doc/gawktexi.in |   8 +-
 doc/wordlist    |   6 +-
 5 files changed, 158 insertions(+), 144 deletions(-)


hooks/post-receive
-- 
gawk