[gawk-diffs] [SCM] gawk branch, feature/api-mpfr, updated. gawk-4.1.0-2694-gf47ea1d

[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  f47ea1d9c979e752fd397840c2e93056cbefe7ed (commit)
       via  78710cf98477b897a5017a3fbb373780af0e57c7 (commit)
       via  23d2940b59b4fd12ced48210c2ebdaec7b96a3c0 (commit)
      from  89bd11ae02f14b1e24a8e8d61f207fe6d5a9db0d (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=f47ea1d9c979e752fd397840c2e93056cbefe7ed

commit f47ea1d9c979e752fd397840c2e93056cbefe7ed
Merge: 89bd11a 78710cf
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Jul 28 13:21:45 2017 +0300

    Merge branch 'master' into feature/api-mpfr


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

Summary of changes:
 test/ChangeLog   | 5 +++++
 test/inplace1.ok | 2 +-
 test/inplace2.ok | 2 +-
 test/inplace3.ok | 4 ++--
 4 files changed, 9 insertions(+), 4 deletions(-)


hooks/post-receive
-- 
gawk