[gawk-diffs] [SCM] gawk branch, master, updated. gawk-4.1.0-3211-gdb02b31

[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, master has been updated
       via  db02b3102f663820799ba192590e1c9cf932f524 (commit)
       via  b58ed880ff03d08d8f5e214344addbbcf39749c2 (commit)
      from  a26024048be0ecabd545c3a487399c9e5713d395 (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=db02b3102f663820799ba192590e1c9cf932f524

commit db02b3102f663820799ba192590e1c9cf932f524
Merge: a260240 b58ed88
Author: Arnold D. Robbins <address@hidden>
Date:   Wed Oct 10 21:03:02 2018 +0300

    Merge branch 'gawk-4.2-stable'


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

Summary of changes:
 ChangeLog | 5 +++++
 debug.c   | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
gawk