From c599f1269a6f9c049c0d5581fbcf93362dd80444 Mon Sep 17 00:00:00 2001
From: Ruben Rodriguez <ruben@trisquel.info>
Date: Fri, 27 Jan 2017 18:43:16 -0500
Subject: [PATCH] Added Debian gpg keys by default
---
helpers/config | 3 +++
1 file changed, 3 insertions(+)
diff --git a/helpers/config b/helpers/config
index ab021c1c..080ae69a 100755
--- a/helpers/config
+++ b/helpers/config
@@ -92,6 +92,9 @@ apt-key --keyring ${LOCAL_APT}/etc/trusted.gpg adv --keyserver keyserver.ubuntu.
#Ubuntu gpg keys
apt-key --keyring ${LOCAL_APT}/etc/trusted.gpg adv --keyserver keyserver.ubuntu.com --recv-keys 40976EAF437D05B5
apt-key --keyring ${LOCAL_APT}/etc/trusted.gpg adv --keyserver keyserver.ubuntu.com --recv-keys 3B4FE6ACC0B21F32
+#Debian gpg keys
+apt-key --keyring ${LOCAL_APT}/etc/trusted.gpg adv --keyserver keyserver.ubuntu.com --recv-keys 9D6D8F6BC857C906
+apt-key --keyring ${LOCAL_APT}/etc/trusted.gpg adv --keyserver keyserver.ubuntu.com --recv-keys 8B48AD6246925553
fi
--
GitLab