[gawk-diffs] [SCM] gawk branch, feature/fix-comments, updated. gawk-4.1.0-3031-gd099d15

[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  d099d159dc4ecdcb84e0120b23ca003d152121d0 (commit)
       via  909fdff5bbec38a49da061a8dfe0d2b25b5b3138 (commit)
      from  562bd6b5763decba10251f90c9320abd322f6fd7 (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=d099d159dc4ecdcb84e0120b23ca003d152121d0

commit d099d159dc4ecdcb84e0120b23ca003d152121d0
Merge: 562bd6b 909fdff
Author: Arnold D. Robbins <address@hidden>
Date:   Tue Dec 5 21:29:31 2017 +0200

    Merge branch 'master' into feature/fix-comments


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

Summary of changes:
 doc/it/ChangeLog   |  4 +++
 doc/it/gawktexi.in | 81 ++++++++++++++++++++++++++++++++++++++++--------------
 2 files changed, 65 insertions(+), 20 deletions(-)


hooks/post-receive
-- 
gawk