Re: [PATCH] Capitalise "Linux"

2009-06-11 Thread Pavel Roskin
On Thu, 2009-06-11 at 16:23 +0100, Colin Watson wrote: > "Linux" is a proper noun and should be capitalised in user-visible text. Applied, thanks! -- Regards, Pavel Roskin ___ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/li

[PATCH] Capitalise "Linux"

2009-06-11 Thread Colin Watson
"Linux" is a proper noun and should be capitalised in user-visible text. Index: util/grub.d/10_linux.in === --- util/grub.d/10_linux.in (revision 2297) +++ util/grub.d/10_linux.in (working copy) @@ -141,9 +141,9 @@ linux_