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