File not-display-menu-when-boot-once.patch of Package grub2 (Revision 5f307a0c2f0f0500e447a5ae9c6b1843)
Currently displaying revision 5f307a0c2f0f0500e447a5ae9c6b1843 , Show latest
Currently displaying revision 5f307a0c2f0f0500e447a5ae9c6b1843 , Show latest