[gawk-diffs] [SCM] gawk branch, feature/fix-comments, updated. gawk-4.1.0-2483-g1b16d9b

[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  1b16d9ba6161b176d1d9bfbf48f2242261604650 (commit)
       via  50a83f464b8c573bf8053dbb503041f4640b68d2 (commit)
       via  b16f8b0d639b529a3110c14c65668cb3cbfb4314 (commit)
       via  249ccecd908f11a77a531e23bcd3111bb3ecdb89 (commit)
      from  cfa4c7fba65bc4ac2b4b1b677d50c5891eb8f6b1 (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=1b16d9ba6161b176d1d9bfbf48f2242261604650

commit 1b16d9ba6161b176d1d9bfbf48f2242261604650
Merge: cfa4c7f 50a83f4
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Mar 3 12:31:17 2017 +0200

    Merge branch 'master' into feature/fix-comments


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

Summary of changes:
 doc/ChangeLog   |   9 +
 doc/gawk.info   | 690 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |  71 +++---
 doc/gawktexi.in |  65 +++---
 hardregex.txt   |  24 --
 5 files changed, 430 insertions(+), 429 deletions(-)
 delete mode 100644 hardregex.txt


hooks/post-receive
-- 
gawk