Ventoy/GRUB2/MOD_SRC
2021-10-12 16:02:25 +08:00
..
grub-2.04 Fix a bug that menu_tip is not shown for the default menu item. 2021-10-12 16:02:25 +08:00