[SCM] gawk branch, master, updated. gawk-4.1.0-3985-g23db076

[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  23db0769e868c8389aa377a6f9149a014178cafd (commit)
      from  246542232f1eeab0436ee430385fe2c1e6d98f24 (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 -----------------------------------------------------------------
-----------------------------------------------------------------------

Summary of changes:
 ChangeLog | 9 +++++++++
 awk.h     | 5 +++--
 profile.c | 2 +-
 3 files changed, 13 insertions(+), 3 deletions(-)


hooks/post-receive
-- 
gawk