diff options
-rw-r--r-- | boot/grub2/0001-remove-gets.patch (renamed from boot/grub2/grub2-remove-gets.patch) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/boot/grub2/grub2-remove-gets.patch b/boot/grub2/0001-remove-gets.patch index 0da71b329..0da71b329 100644 --- a/boot/grub2/grub2-remove-gets.patch +++ b/boot/grub2/0001-remove-gets.patch |