From b6c15a2d2abd950f8121d5b6bc38a75c03006002 Mon Sep 17 00:00:00 2001
From: proski <proski@localhost>
Date: Fri, 7 Nov 2008 22:30:24 +0000
Subject: [PATCH] 2008-11-07  Pavel Roskin  <proski@gnu.org>

	* util/grub.d/00_header.in: Remove incorrect space before
	"serial".
---
 ChangeLog                | 5 +++++
 util/grub.d/00_header.in | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index c00a0026e..56df59395 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2008-11-07  Pavel Roskin  <proski@gnu.org>
+
+	* util/grub.d/00_header.in: Remove incorrect space before
+	"serial".
+
 2008-11-07  Robert Millan  <rmh@aybabtu.com>
 
 	* include/multiboot2.h (struct multiboot_header): Add `flags' member as
diff --git a/util/grub.d/00_header.in b/util/grub.d/00_header.in
index a0b314b32..8967fd68d 100644
--- a/util/grub.d/00_header.in
+++ b/util/grub.d/00_header.in
@@ -41,7 +41,7 @@ set timeout=${GRUB_TIMEOUT}
 EOF
 
 case ${GRUB_TERMINAL_INPUT}:${GRUB_TERMINAL_OUTPUT} in
-  serial:* | *: serial)
+  serial:* | *:serial)
     if ! test -e ${grub_prefix}/serial.mod ; then
       echo "Serial terminal not available on this platform." >&2 ; exit 1
     fi