[gawk-diffs] [SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-3740-g7778ae9

[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/improve-inet has been updated
       via  7778ae9b6e090fe1362ecc090007db73a4ea99ba (commit)
       via  92d7c72c7e36c10f1274c79ed539490e6724feea (commit)
       via  db47960210d3c56465b3658152f6c7981f6b5f82 (commit)
      from  c989a9fc1381f269cae16c2caf02ca59d95c6cea (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=7778ae9b6e090fe1362ecc090007db73a4ea99ba

commit 7778ae9b6e090fe1362ecc090007db73a4ea99ba
Merge: c989a9f 92d7c72
Author: Arnold D. Robbins <address@hidden>
Date:   Sat Dec 15 22:12:13 2018 +0200

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 support/ChangeLog |  4 ++++
 support/dfa.c     | 16 ++++++++--------
 support/dfa.h     |  2 +-
 3 files changed, 13 insertions(+), 9 deletions(-)


hooks/post-receive
-- 
gawk