[gawk-diffs] [SCM] gawk branch, feature/fix-comments, updated. gawk-4.1.0-2356-g7640888

[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  7640888eeb72fc4ff315c43dba5857e4f8cec42a (commit)
       via  b2aca8c7877af71e056210030ba2d8354a47d43f (commit)
      from  be76bc0ee3461800eaba3e41fadd307167c0c6e5 (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=7640888eeb72fc4ff315c43dba5857e4f8cec42a

commit 7640888eeb72fc4ff315c43dba5857e4f8cec42a
Merge: be76bc0 b2aca8c
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Nov 28 21:23:36 2016 +0200

    Merge branch 'master' into feature/fix-comments

diff --cc ChangeLog
index 765d6c4,0209b81..887d547
--- a/ChangeLog
+++ b/ChangeLog
@@@ -7,12 -7,8 +7,12 @@@
  
        Unrelated:
  
-       * dfa.c: Sync with GNULIB.
+       * dfa.c: Sync with GNULIB. Twice in one day.
  
 +      Unrelated: Start improving profiling comments for switch/case.
 +
 +      * awkgram.y (switch_head): New production.
 +
  2016-11-21         Arnold D. Robbins     <address@hidden>
  
        * dfa.c: Sync with GNULIB.

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

Summary of changes:
 ChangeLog |    2 +-
 dfa.c     |    8 +-------
 2 files changed, 2 insertions(+), 8 deletions(-)


hooks/post-receive
-- 
gawk