[gawk-diffs] [SCM] gawk branch, feature/api-mpfr, updated. gawk-4.1.0-2689-g1ec92fc

[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  1ec92fce7023c4f10e50149b776a7bb9a538ebe9 (commit)
       via  12385433e64d8c2c497765d9834bf0e20e1a602d (commit)
       via  167b3a79dbf9eaa5370efa11cc3d6535a1fe98ae (commit)
      from  fbbdaee631ac81845fac662502ac972c5846c945 (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=1ec92fce7023c4f10e50149b776a7bb9a538ebe9

commit 1ec92fce7023c4f10e50149b776a7bb9a538ebe9
Merge: fbbdaee 1238543
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Jul 28 10:32:58 2017 +0300

    Merge branch 'master' into feature/api-mpfr


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

Summary of changes:
 awklib/eg/lib/inplace.awk | 22 ++++++++++++++++++++++
 doc/ChangeLog             |  6 ++++++
 doc/gawk.texi             | 34 ++++++++++++++++++++++++++++++++++
 doc/gawktexi.in           | 34 ++++++++++++++++++++++++++++++++++
 4 files changed, 96 insertions(+)


hooks/post-receive
-- 
gawk