From 44ea4bc0e3d8546f663baf59c5d009956373be35 Mon Sep 17 00:00:00 2001 From: Steve McIntyre Date: Mon, 11 Feb 2019 16:37:39 +0000 Subject: [PATCH] Add grub-efi packages to armhf media --- debian/changelog | 3 +++ tools/generate_di+k_list | 3 +++ 2 files changed, 6 insertions(+) diff --git a/debian/changelog b/debian/changelog index b82c2fa5..c11b07ac 100644 --- a/debian/changelog +++ b/debian/changelog @@ -8,6 +8,9 @@ debian-cd (3.1.23) UNRELEASED; urgency=medium * contrib/HEADER.html.in: add paragraphs describing the Debian Edu netinst images for amd64 and i386. + [ Steve McIntyre ] + * Add grub-efi packages to armhf media + -- Holger Levsen Thu, 07 Feb 2019 15:53:42 +0100 debian-cd (3.1.22) unstable; urgency=medium diff --git a/tools/generate_di+k_list b/tools/generate_di+k_list index d4ec11f2..8b895e24 100755 --- a/tools/generate_di+k_list +++ b/tools/generate_di+k_list @@ -215,6 +215,9 @@ busybox flash-kernel linux-image-armmp linux-image-armmp-lpae +grub-efi +grub-efi-arm +grub-efi-arm-bin #endif #ifdef ARCH_arm64