From 238761e3903093ef93c26fa9e788be0c4b6ffe52 Mon Sep 17 00:00:00 2001 From: Thomas Petazzoni Date: Mon, 25 Jul 2016 21:58:29 +0200 Subject: [PATCH] grub2: rename patch with the proper naming convention Signed-off-by: Thomas Petazzoni --- boot/grub2/{grub2-remove-gets.patch => 0001-remove-gets.patch} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename boot/grub2/{grub2-remove-gets.patch => 0001-remove-gets.patch} (100%) diff --git a/boot/grub2/grub2-remove-gets.patch b/boot/grub2/0001-remove-gets.patch similarity index 100% rename from boot/grub2/grub2-remove-gets.patch rename to boot/grub2/0001-remove-gets.patch -- 2.30.2