Processing of grub-efi-arm64-signed_1+2.12~rc1+1_source.changes

Debian FTP Masters ftpmaster at ftp-master.debian.org
Thu Jul 20 06:17:42 BST 2023

Previous message (by thread): Bug#1041502: grub-efi-amd64-bin: update-grub removes UEFI-firmware boot option though 30_uefi-firmware is present
Next message (by thread): grub-efi-arm64-signed_1+2.12~rc1+1_source.changes ACCEPTED into experimental
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

grub-efi-arm64-signed_1+2.12~rc1+1_source.changes uploaded successfully to localhost
along with the files:
  grub-efi-arm64-signed_1+2.12~rc1+1.dsc
  grub-efi-arm64-signed_1+2.12~rc1+1.tar.xz

Greetings,

	Your Debian queue daemon (running on host usper.debian.org)

Previous message (by thread): Bug#1041502: grub-efi-amd64-bin: update-grub removes UEFI-firmware boot option though 30_uefi-firmware is present
Next message (by thread): grub-efi-arm64-signed_1+2.12~rc1+1_source.changes ACCEPTED into experimental
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pkg-grub-devel mailing list