[gawk-diffs] [SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-3785-g417ffad

[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/improve-inet has been updated
       via  417ffad6f52e02c8529cdd4c4d109fa2d52861be (commit)
       via  6f16c4f468e6f3a6769509e1e70ff2dc4873e8d2 (commit)
       via  fe85aef5cc3e31450c6850c996aa348a68c42ca7 (commit)
       via  63a31bee666a9bf9e37eda447f7742b07917dc74 (commit)
       via  99e184df5e808dd4de24b3e41c724bf9b00b9bb4 (commit)
       via  5ba504111dee165e033b3a9087c13ffca2b30302 (commit)
      from  2dc15c744e3eb31c2983449b5e584949146f7ad1 (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=417ffad6f52e02c8529cdd4c4d109fa2d52861be

commit 417ffad6f52e02c8529cdd4c4d109fa2d52861be
Merge: 2dc15c7 6f16c4f
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Jan 14 21:29:48 2019 +0200

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 ChangeLog       |   11 +
 builtin.c       |   10 +-
 doc/ChangeLog   |    9 +
 doc/gawk.info   | 1173 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   57 ++-
 doc/gawktexi.in |   54 ++-
 mpfr.c          |    4 +-
 7 files changed, 699 insertions(+), 619 deletions(-)


hooks/post-receive
-- 
gawk