[gawk-diffs] [SCM] gawk branch, feature/fix-comments, updated. gawk-4.1.0-2898-g3e4ea22

[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/fix-comments has been updated
       via  3e4ea22c1306a6fce3908e17857b78f541ec415f (commit)
       via  7bef3e3f1db4dccc35a91e6bb16fdc4bbd2535a1 (commit)
       via  34f9713c690622a95a13ab13aca5e86cd747c689 (commit)
      from  4de8268b55a21cb4310762c08207d7bdd518adfc (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=3e4ea22c1306a6fce3908e17857b78f541ec415f

commit 3e4ea22c1306a6fce3908e17857b78f541ec415f
Merge: 4de8268 7bef3e3
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Sep 18 21:24:28 2017 +0300

    Merge branch 'master' into feature/fix-comments


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

Summary of changes:
 ChangeLog                        |    5 +
 README                           |    2 +-
 compile                          |    4 +-
 config.guess                     |   38 +-
 config.sub                       |   20 +-
 depcomp                          |    4 +-
 doc/ChangeLog                    |    6 +
 doc/gawk.info                    | 1182 +++++++++++++++++++-------------------
 doc/gawk.texi                    |   84 +--
 doc/gawktexi.in                  |   84 +--
 doc/texinfo.tex                  |   14 +-
 extension/build-aux/ChangeLog    |    4 +
 extension/build-aux/ar-lib       |    4 +-
 extension/build-aux/compile      |    4 +-
 extension/build-aux/config.guess |   38 +-
 extension/build-aux/config.sub   |   20 +-
 extension/build-aux/depcomp      |    4 +-
 17 files changed, 754 insertions(+), 763 deletions(-)


hooks/post-receive
-- 
gawk