[gawk-diffs] [SCM] gawk branch, feature/fix-comments, updated. gawk-4.1.0-3042-gb38e210

[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  b38e210c1b96e7e38bf2e479759f697ccaa006b5 (commit)
       via  a8f1600b7ba13834f476e455d382d188b49eef9e (commit)
       via  aed04bc4eda042bfa80d57a84c7d1406782ee66f (commit)
      from  f48a559e74daf1ad48513988b39d8be6c557c567 (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=b38e210c1b96e7e38bf2e479759f697ccaa006b5

commit b38e210c1b96e7e38bf2e479759f697ccaa006b5
Merge: f48a559 a8f1600
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Dec 17 20:47:30 2017 +0200

    Merge branch 'master' into feature/fix-comments


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

Summary of changes:
 awklib/eg/lib/bits2str.awk  |    2 +-
 awklib/eg/prog/split.awk    |    1 -
 awklib/eg/prog/testbits.awk |    2 +-
 doc/ChangeLog               |   12 +
 doc/gawk.info               | 1084 ++++++++++++++++++++++---------------------
 doc/gawk.texi               |  312 +++++++++++--
 doc/gawktexi.in             |  310 +++++++++++--
 7 files changed, 1130 insertions(+), 593 deletions(-)


hooks/post-receive
-- 
gawk