grub2: rename patch with the proper naming convention
authorThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Mon, 25 Jul 2016 19:58:29 +0000 (21:58 +0200)
committerThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Mon, 25 Jul 2016 19:58:29 +0000 (21:58 +0200)
commit238761e3903093ef93c26fa9e788be0c4b6ffe52
tree859dc1e03a4538dc58f413b35cf65e3e862cc1ba
parentcdb10772c7d7dc93c2578bd4109b40932311f861
grub2: rename patch with the proper naming convention

Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
boot/grub2/0001-remove-gets.patch [new file with mode: 0644]
boot/grub2/grub2-remove-gets.patch [deleted file]