[gawk-diffs] [SCM] gawk branch, feature/api-mpfr, updated. gawk-4.1.0-2468-g1ddefd4

[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  1ddefd468ecec3eb940dbe4d0024aa1c73189187 (commit)
       via  50a83f464b8c573bf8053dbb503041f4640b68d2 (commit)
       via  b16f8b0d639b529a3110c14c65668cb3cbfb4314 (commit)
       via  249ccecd908f11a77a531e23bcd3111bb3ecdb89 (commit)
      from  48dfa0b541507a16d1ae2b8ab54679ffb812d80b (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=1ddefd468ecec3eb940dbe4d0024aa1c73189187

commit 1ddefd468ecec3eb940dbe4d0024aa1c73189187
Merge: 48dfa0b 50a83f4
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Mar 3 12:31:03 2017 +0200

    Merge branch 'master' into feature/api-mpfr


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

Summary of changes:
 doc/ChangeLog   |   9 +
 doc/gawk.info   | 690 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |  71 +++---
 doc/gawktexi.in |  65 +++---
 hardregex.txt   |  24 --
 5 files changed, 430 insertions(+), 429 deletions(-)
 delete mode 100644 hardregex.txt


hooks/post-receive
-- 
gawk