[gawk-diffs] [SCM] gawk branch, feature/fixtype, updated. gawk-4.1.0-1975-g2df3ef7

[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/fixtype has been updated
       via  2df3ef7df3c17651a8777a8496a56410fcd4efc1 (commit)
       via  0703039505200ca5126e11d905a6fa40c602d1b9 (commit)
       via  8dac7aaa475f205a4fe8ebfd27cd4c75775d6aef (commit)
      from  4ad5a9e927234fc2832bd79eb45f5b64e3b13774 (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=2df3ef7df3c17651a8777a8496a56410fcd4efc1

commit 2df3ef7df3c17651a8777a8496a56410fcd4efc1
Merge: 4ad5a9e 0703039
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Aug 14 17:24:51 2016 +0300

    Merge branch 'master' into feature/fixtype


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

Summary of changes:
 ChangeLog |    6 ++++++
 re.c      |   12 ++++++++----
 2 files changed, 14 insertions(+), 4 deletions(-)


hooks/post-receive
-- 
gawk