update GRUB and gnu-efi to latest

pbatard · Jul 29, 2017 · 7a77e5f · 7a77e5f
1 parent d21c1c9
commit 7a77e5f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/gnu-efi b/gnu-efi
diff --git a/grub b/grub