[gawk-diffs] [SCM] gawk branch, feature/api-mpfr, updated. gawk-4.1.0-2492-g02d15dd

[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  02d15dd956a418386bd4b0267cfb7dbb483293da (commit)
       via  374ad65e52cb612340b460340b0b858a7577374d (commit)
      from  046500db53cd195de0c9aed330aae3190177851c (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=02d15dd956a418386bd4b0267cfb7dbb483293da

commit 02d15dd956a418386bd4b0267cfb7dbb483293da
Merge: 046500d 374ad65
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Mar 27 22:19:36 2017 +0300

    Merge branch 'master' into feature/api-mpfr


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

Summary of changes:
 main.c | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)


hooks/post-receive
-- 
gawk