From 71aab2b998c1c0c7e4b599f90f01adf754829c76 Mon Sep 17 00:00:00 2001
From: William Jon McCann <william.jon.mccann@gmail.com>
Date: Wed, 15 May 2013 13:53:48 -0400
Subject: [PATCH 17/34] Don't print GNU GRUB header

No one cares.
---
 grub-core/normal/main.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/grub-core/normal/main.c b/grub-core/normal/main.c
index ac4ee63..3edb687 100644
--- a/grub-core/normal/main.c
+++ b/grub-core/normal/main.c
@@ -204,6 +204,7 @@ grub_normal_init_page (struct grub_term_output *term,
  
   grub_term_cls (term);
 
+#if 0
   msg_formatted = grub_xasprintf (_("GNU GRUB  version %s"), PACKAGE_VERSION);
   if (!msg_formatted)
     return;
@@ -227,6 +228,7 @@ grub_normal_init_page (struct grub_term_output *term,
   grub_putcode ('\n', term);
   grub_putcode ('\n', term);
   grub_free (unicode_msg);
+#endif
 }
 
 static void
-- 
1.8.4.2