[gawk-diffs] [SCM] gawk branch, feature/fix-comments, updated. gawk-4.1.0-3071-gbf8adb0

[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  bf8adb089c0dab26292ede736e74d1bb20d6dbc8 (commit)
       via  5d7845e424e3ccb9fed4ba6bbb03be322a1c40f0 (commit)
       via  fb0b2663915846fb275ce9c04b78370c6bf9f2e4 (commit)
      from  18906a48d06521c9bbd77ffe6c3dbf9498ca5b20 (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=bf8adb089c0dab26292ede736e74d1bb20d6dbc8

commit bf8adb089c0dab26292ede736e74d1bb20d6dbc8
Merge: 18906a4 5d7845e
Author: Arnold D. Robbins <address@hidden>
Date:   Thu Dec 28 21:07:45 2017 +0200

    Merge branch 'master' into feature/fix-comments


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

Summary of changes:
 doc/ChangeLog   |    2 +
 doc/gawk.info   | 1134 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   35 +-
 doc/gawktexi.in |   35 +-
 4 files changed, 589 insertions(+), 617 deletions(-)


hooks/post-receive
-- 
gawk