[gawk-diffs] [SCM] gawk branch, feature/api-mpfr, updated. gawk-4.1.0-2443-gb2db54e

[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  b2db54e6b9bebdce30dabce709ec4bcf4f6aa51e (commit)
       via  7b46fc2f6243d91e01b6e74fd69b193b4eddb05b (commit)
       via  85e1012dab425dc50bc3faa2a3f28a9a47dac017 (commit)
       via  6e6ac2dccf7048f501e19490c90ea31c3f527633 (commit)
      from  2f87e9b43a373bfc270e81a986c7b5012b4e3504 (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=b2db54e6b9bebdce30dabce709ec4bcf4f6aa51e

commit b2db54e6b9bebdce30dabce709ec4bcf4f6aa51e
Merge: 2f87e9b 7b46fc2
Author: Arnold D. Robbins <address@hidden>
Date:   Wed Feb 1 21:18:36 2017 +0200

    Merge branch 'master' into feature/api-mpfr


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

Summary of changes:
 ChangeLog      |   12 ++++++++++++
 awkgram.c      |   26 ++++++++++----------------
 awkgram.y      |   26 ++++++++++----------------
 builtin.c      |    4 ++--
 po/ChangeLog   |    4 ++++
 po/POTFILES.in |   15 ++++++++-------
 6 files changed, 46 insertions(+), 41 deletions(-)


hooks/post-receive
-- 
gawk