Messages in this thread |  | | Date | Mon, 23 Jan 2023 09:15:15 +0700 | From | Bagas Sanjaya <> | Subject | Re: [PATCH] docs: rv: Fix full name of the GPL |
| |
On Sun, Jan 22, 2023 at 07:12:23PM +0100, Diederik de Haas wrote: > 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).
Similar response as [1].
Thanks.
[1]: https://lore.kernel.org/linux-doc/Y83tLoHnM496akUH@debian.me/
-- An old man doll... just what I always wanted! - Clara [unhandled content-type:application/pgp-signature] |  |