Blame SOURCES/0117-F10-doesn-t-work-on-serial-so-don-t-tell-the-user-to.patch

0dc71c
From 3e8fad7dba63db810a9626d472de5270b2d1bb75 Mon Sep 17 00:00:00 2001
0dc71c
From: Peter Jones <pjones@redhat.com>
0dc71c
Date: Mon, 28 Oct 2013 10:13:27 -0400
0dc71c
Subject: [PATCH 117/143] F10 doesn't work on serial, so don't tell the user to
0dc71c
 hit it (#987443)
0dc71c
0dc71c
Signed-off-by: Peter Jones <pjones@redhat.com>
0dc71c
---
0dc71c
 grub-core/normal/menu_text.c | 2 +-
0dc71c
 1 file changed, 1 insertion(+), 1 deletion(-)
0dc71c
0dc71c
diff --git a/grub-core/normal/menu_text.c b/grub-core/normal/menu_text.c
0dc71c
index bc1fc71..6202c2a 100644
0dc71c
--- a/grub-core/normal/menu_text.c
0dc71c
+++ b/grub-core/normal/menu_text.c
0dc71c
@@ -157,7 +157,7 @@ print_message (int nested, int edit, struct grub_term_output *term, int dry_run)
0dc71c
 
0dc71c
   if (edit)
0dc71c
     {
0dc71c
-      ret += grub_print_message_indented_real (_("Press Ctrl-x or F10 to start, Ctrl-c or F2 for a \
0dc71c
+      ret += grub_print_message_indented_real (_("Press Ctrl-x to start, Ctrl-c for a \
0dc71c
 command prompt or Escape to discard edits and return to the menu. Pressing Tab lists possible completions."),
0dc71c
 					       STANDARD_MARGIN, STANDARD_MARGIN,
0dc71c
 					       term, dry_run);
0dc71c
-- 
0dc71c
1.9.3
0dc71c