[SCM] gawk branch, gawk-5.1-stable, updated. gawk-4.1.0-4378-gd980a792

[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  d980a7923a612a5e50f20bc65ee87b1919ca7485 (commit)
      from  80de2f7c9bc519fb820033a530e1657977117a33 (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=d980a7923a612a5e50f20bc65ee87b1919ca7485

commit d980a7923a612a5e50f20bc65ee87b1919ca7485
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Feb 22 20:18:40 2022 +0200

    Add a cast.

diff --git a/ext.c b/ext.c
index e5b6a2a0..30e52aae 100644
--- a/ext.c
+++ b/ext.c
@@ -128,7 +128,7 @@ make_builtin(const char *name_space, const awk_ext_func_t 
*funcinfo)
                        /* multiple extension() calls etc. */
                        if (do_lint)
                                lintwarn(_("make_builtin: function `%s' already 
defined"), name);
-                       free(install_name);
+                       free((void *) install_name);
                        return awk_false;
                } else
                        /* variable name etc. */

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

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


hooks/post-receive
-- 
gawk