[gawk-diffs] [SCM] gawk branch, feature/api-mpfr, updated. gawk-4.1.0-2479-ga896ca4

[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  a896ca420f3fd80a70e30d2778b15d3247e32182 (commit)
       via  7aeea616b4b0272c130ac45c65e640b3482add24 (commit)
      from  4dbaf72917b7c3e1592ccd2d4a787bb8b7a9fe54 (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=a896ca420f3fd80a70e30d2778b15d3247e32182

commit a896ca420f3fd80a70e30d2778b15d3247e32182
Merge: 4dbaf72 7aeea61
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Mar 20 21:28:04 2017 +0200

    Merge branch 'master' into feature/api-mpfr


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

Summary of changes:
 helpers/ChangeLog          |  4 ++++
 helpers/update-branches.sh | 24 +++++++++++++++++++++---
 2 files changed, 25 insertions(+), 3 deletions(-)


hooks/post-receive
-- 
gawk