[gawk-diffs] [SCM] gawk branch, feature/api-mpfr, updated. gawk-4.1.0-2447-g260c2d0

[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  260c2d0fa556c5c79297fa063a3673c1bb814115 (commit)
       via  f0b9ec9b838045318bcc8512c48dd93c66d4eef5 (commit)
      from  ec480355cc6c93d36a0ae4b95018389455f11a8d (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=260c2d0fa556c5c79297fa063a3673c1bb814115

commit 260c2d0fa556c5c79297fa063a3673c1bb814115
Merge: ec48035 f0b9ec9
Author: Arnold D. Robbins <address@hidden>
Date:   Thu Feb 2 15:57:58 2017 +0200

    Merge branch 'master' into feature/api-mpfr


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

Summary of changes:
 ChangeLog |    5 +++++
 awkgram.c |    6 +++---
 awkgram.y |    6 +++---
 3 files changed, 11 insertions(+), 6 deletions(-)


hooks/post-receive
-- 
gawk