[SCM] gawk branch, gawk-5.1-stable, updated. gawk-4.1.0-3999-g31ff9bd

[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, gawk-5.1-stable has been updated
       via  31ff9bd0b178ee32288b148b89c5fb3a48abdaf9 (commit)
      from  7f18332e296d0d19a6f26fdbad914dd75c4dffc8 (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=31ff9bd0b178ee32288b148b89c5fb3a48abdaf9

commit 31ff9bd0b178ee32288b148b89c5fb3a48abdaf9
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Jun 18 03:14:57 2020 -0600

    By request, remove an email address from the ChangeLog.

diff --git a/ChangeLog b/ChangeLog
index 384bc6b..05db8c4 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -81,7 +81,7 @@
 
        * awk.h (INSTRUCTION): Make dl a long long for profiling
        counts on 32 bit systems. Thanks to Peter Lindgren
-       <lindgren@ameritech.net> for the report.
+       for the report.
        * profile.c (indent): Take a long long parameter and fix
        the printf format.
 

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

Summary of changes:
 ChangeLog | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)


hooks/post-receive
-- 
gawk