[gawk-diffs] [SCM] gawk branch, feature/api-mpfr, updated. gawk-4.1.0-2482-ga993b9f

[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  a993b9f04076e4c1a9cef66a2955077d87abd138 (commit)
       via  10c17fe33a10746bd44fc4b62f764ca4c3f3c5a6 (commit)
       via  41915dfdb8cd59fcdf56c8f74b7d6e62448eadfa (commit)
      from  a896ca420f3fd80a70e30d2778b15d3247e32182 (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=a993b9f04076e4c1a9cef66a2955077d87abd138

commit a993b9f04076e4c1a9cef66a2955077d87abd138
Merge: a896ca4 10c17fe
Author: Arnold D. Robbins <address@hidden>
Date:   Thu Mar 23 21:29:43 2017 +0200

    Merge branch 'master' into feature/api-mpfr


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

Summary of changes:
 ChangeLog                      |  4 ++++
 config.sub                     |  7 ++++++-
 extension/build-aux/ChangeLog  |  4 ++++
 extension/build-aux/config.sub |  7 ++++++-
 support/ChangeLog              |  4 ++++
 support/dfa.c                  | 35 ++++++++++++-----------------------
 6 files changed, 36 insertions(+), 25 deletions(-)


hooks/post-receive
-- 
gawk