From 3bbbb64a7002f73fbff13fdec1ad71501b1ae7fb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Luis=20Guzm=C3=A1n?= <ark@switnet.org>
Date: Mon, 17 Oct 2022 22:13:22 +0000
Subject: [PATCH] grub-installer: integrate udeb from debian upstream

---
 helpers/make-grub-installer | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/helpers/make-grub-installer b/helpers/make-grub-installer
index d9a3163..1b0840c 100644
--- a/helpers/make-grub-installer
+++ b/helpers/make-grub-installer
@@ -18,6 +18,8 @@
 #
 
 VERSION=1
+EXTERNAL='deb-src http://ftp.debian.org/debian stable main'
+REPOKEY=648ACFD622F3D138
 
 . ./config