[gawk-diffs] [SCM] gawk branch, feature/api-mpfr, updated. gawk-4.1.0-2498-gfc9de15

[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  fc9de1594bd6d04d7c1809bd57867dc5d6bd1fe3 (commit)
       via  6de370d832e5145ed6a4cb05099f51192773a4b1 (commit)
       via  4271b995d64430e794e344f0c4985162eb991052 (commit)
      from  620f6305877679c02454b1682ffbc22f19427d8b (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=fc9de1594bd6d04d7c1809bd57867dc5d6bd1fe3

commit fc9de1594bd6d04d7c1809bd57867dc5d6bd1fe3
Merge: 620f630 6de370d
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Apr 7 09:09:10 2017 +0300

    Merge branch 'master' into feature/api-mpfr


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

Summary of changes:
 doc/ChangeLog         |    7 +
 doc/Makefile.am       |   22 +-
 doc/Makefile.in       |   54 +-
 doc/gawkworkflow.info | 1980 +++++++++++++++++++++++++++++++++++++++++++++
 doc/gawkworkflow.texi | 2158 +++++++++++++++++++++++++++++++++++++++++++++++++
 doc/using-git.texi    | 1179 ---------------------------
 doc/wordlist2         |  176 ++++
 extension/ChangeLog   |    6 +
 extension/inplace.c   |    2 +-
 9 files changed, 4374 insertions(+), 1210 deletions(-)
 create mode 100644 doc/gawkworkflow.info
 create mode 100755 doc/gawkworkflow.texi
 delete mode 100644 doc/using-git.texi
 create mode 100644 doc/wordlist2


hooks/post-receive
-- 
gawk