[gawk-diffs] [SCM] gawk branch, feature/api-mpfr, updated. gawk-4.1.0-2645-g49f5a94

[Andrew J. Schorr]

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  49f5a940d4290ee0ba0b4dd706237fbc8434b1d2 (commit)
       via  58ccf1fe579707c1eb78f7d18ee410d28d88d5e9 (commit)
      from  918a86d8e33cc4c0d6412c7efe1e990220d19a6a (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=49f5a940d4290ee0ba0b4dd706237fbc8434b1d2

commit 49f5a940d4290ee0ba0b4dd706237fbc8434b1d2
Merge: 918a86d 58ccf1f
Author: Andrew J. Schorr <address@hidden>
Date:   Sun Jun 18 10:11:09 2017 -0400

    Merge branch 'master' into feature/api-mpfr


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

Summary of changes:
 doc/ChangeLog         |   4 ++
 doc/gawkworkflow.info | 124 +++++++++++++++++++++++++-------------------------
 doc/gawkworkflow.texi |   2 +-
 3 files changed, 67 insertions(+), 63 deletions(-)


hooks/post-receive
-- 
gawk