[gawk-diffs] [SCM] gawk branch, feature/fix-comments, updated. gawk-4.1.0-2402-g83bda11

[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  83bda11fb93706c35c5a7f2825d8037faa4a6a53 (commit)
       via  7d02088c7c8731ae5c5b2810d1c30d7f77b29687 (commit)
      from  6402c9480ffcd8610b1322a381f0c14a42d95083 (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=83bda11fb93706c35c5a7f2825d8037faa4a6a53

commit 83bda11fb93706c35c5a7f2825d8037faa4a6a53
Merge: 6402c94 7d02088
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Dec 23 06:54:52 2016 +0200

    Merge branch 'master' into feature/fix-comments


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

Summary of changes:
 doc/ChangeLog   |    4 +
 doc/gawk.info   |  299 +++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |  113 ++++++++++++++-------
 doc/gawktexi.in |  113 ++++++++++++++-------
 4 files changed, 305 insertions(+), 224 deletions(-)


hooks/post-receive
-- 
gawk