[gawk-diffs] [SCM] gawk branch, feature/gnulib-regex, updated. gawk-4.1.0-3009-ga09917e

[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/gnulib-regex has been updated
       via  a09917ecd6bc47fc6c9b17beda87d9205a985a0e (commit)
       via  ae3c6bfca054920ff88501d3c6e663617f611478 (commit)
      from  b32c67e0f99672ad4104cee4695b5eb040df16f4 (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=a09917ecd6bc47fc6c9b17beda87d9205a985a0e

commit a09917ecd6bc47fc6c9b17beda87d9205a985a0e
Merge: b32c67e ae3c6bf
Author: Arnold D. Robbins <address@hidden>
Date:   Thu Aug 2 20:53:06 2018 +0300

    Merge branch 'gawk-4.2-stable' into feature/gnulib-regex


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

Summary of changes:
 doc/ChangeLog   |   4 +
 doc/gawk.info   | 866 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   4 +-
 doc/gawktexi.in |   4 +-
 4 files changed, 441 insertions(+), 437 deletions(-)


hooks/post-receive
-- 
gawk