[gawk-diffs] [SCM] gawk branch, feature/api-mpfr, updated. gawk-4.1.0-2500-g75981b3

[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  75981b3d127c3c97329b5b085bddebf3b40e797d (commit)
       via  947dfae8571472b6e78aecad8da024f1f65e5bf5 (commit)
      from  fc9de1594bd6d04d7c1809bd57867dc5d6bd1fe3 (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=75981b3d127c3c97329b5b085bddebf3b40e797d

commit 75981b3d127c3c97329b5b085bddebf3b40e797d
Merge: fc9de15 947dfae
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Apr 7 09:16:20 2017 +0300

    Merge branch 'master' into feature/api-mpfr


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

Summary of changes:
 doc/ChangeLog         | 4 ++++
 doc/Makefile.am       | 2 +-
 doc/Makefile.in       | 2 +-
 doc/gawkworkflow.texi | 4 ++--
 doc/wordlist2         | 2 ++
 5 files changed, 10 insertions(+), 4 deletions(-)


hooks/post-receive
-- 
gawk