From 9056b35661962a311aafa1937b5d8e236f44b119 Mon Sep 17 00:00:00 2001 From: root Date: Tue, 23 Jan 2018 13:29:11 -0500 Subject: [PATCH] debrand the grub_cfg menu --- SOURCES/grub.patches | 1 + 1 file changed, 1 insertion(+) diff --git a/SOURCES/grub.patches b/SOURCES/grub.patches index bac4594..d7475f0 100644 --- a/SOURCES/grub.patches +++ b/SOURCES/grub.patches @@ -258,3 +258,4 @@ Patch0257: 0257-set-rootpath.patch Patch0258: 0258-Fix-one-more-coverity-complaint.patch Patch0260: 0260-Fix-up-linux-params-usage.patch Patch0261: 0261-Fix-grub_net_hwaddr_to_str.patch +Patch1000: 1000_linux-mktitle-de-brand-the-grub.cfg-menu.patch -- 2.7.4