|
From: | GNU bug tracker automated control server |
Subject: | Processed: control message for bug #38580 |
Date: | Sat, 14 Dec 2019 02:54:02 -0500 |
Processing commands for address@hidden: > merge 38580 38581 bug#38580: [PATCH 0/1] Start BIOS setup from GRUB bug#38581: [PATCH 1/1] bootloader: grub: Add firmware setup entry Merged 38580 38581. > quit Stopping processing here. Please contact address@hidden if you need assistance. GNU bugs database, http://debbugs.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |