Messages in this thread Patch in this message |  | | From | Diederik de Haas <> | Subject | [PATCH] docs: rv: Fix full name of the GPL | Date | Sun, 22 Jan 2023 19:12:23 +0100 |
| |
Signed-off-by: Diederik de Haas <didi.debian@cknow.org> --- Documentation/tools/rv/common_appendix.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Documentation/tools/rv/common_appendix.rst b/Documentation/tools/rv/common_appendix.rst index f4239192bee8..655e1bd9bbe4 100644 --- a/Documentation/tools/rv/common_appendix.rst +++ b/Documentation/tools/rv/common_appendix.rst @@ -13,4 +13,4 @@ COPYING ======= Copyright \(C) 2022 Red Hat, Inc. Free use of this software is granted under -the terms of the GNU Public License (GPL). +the terms of the GNU General Public License (GPL). -- 2.39.0
|  |