[gawk-diffs] [SCM] gawk branch, feature/api-mpfr, updated. gawk-4.1.0-2666-g3db1547

[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  3db154790f993438c5dc5d3428fb8b0a4c69288c (commit)
       via  f18156ca22ef6baba13f36edb250c91a746b5a5a (commit)
      from  2d4dafd7cd5b9c11acfdf54c4ba04d53f361307e (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=3db154790f993438c5dc5d3428fb8b0a4c69288c

commit 3db154790f993438c5dc5d3428fb8b0a4c69288c
Merge: 2d4dafd f18156c
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Jul 2 21:10:20 2017 +0300

    Merge branch 'master' into feature/api-mpfr


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

Summary of changes:
 doc/ChangeLog   |    4 +
 doc/texinfo.tex | 3849 +++++++++++++++++++++++++++++++------------------------
 2 files changed, 2172 insertions(+), 1681 deletions(-)


hooks/post-receive
-- 
gawk