/resources/grub/patches/
../
0001-mitigate-grub-s-missing-characters-for-borders-arrow.patch
0002-say-the-name-libreboot-in-the-grub-menu.patch
0003-specifically-use-python3-in-gentpl.py.patch
0005-at-keyboard-timeout.patch