branch master updated: correct name of file

[Gavin D. Smith]

This is an automated email from the git hooks/post-receive script.

gavin pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new 40d7c91c00 correct name of file
40d7c91c00 is described below

commit 40d7c91c003bee8aae73c8887ca20f877c845035
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Mon Apr 4 15:15:27 2022 +0100

    correct name of file
---
 info/util.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/info/util.c b/info/util.c
index d6bff383e8..3e531559fd 100644
--- a/info/util.c
+++ b/info/util.c
@@ -1,4 +1,4 @@
-/* utils.c --  various utility functions
+/* util.c --  various utility functions
 
    Copyright 1993-2022 Free Software Foundation, Inc.