jimbo1qaz Wed, 12 Sep 2018 23:27:18 -0700
Has there been any progress on merging this patch? It fixes both efi menu and grub menu. Not including it made my system unbootable, and broke my manual EFI menu fixes when I uninstalled old kernels.
