From 7e8d930bd1d1d16e5554de5a2272206ecb2fcd7b Mon Sep 17 00:00:00 2001
From: Ruben Rodriguez <ruben@trisquel.info>
Date: Tue, 26 Mar 2019 15:16:39 -0400
Subject: [PATCH] mailman: added repo key

---
 helpers/make-mailman | 1 +
 1 file changed, 1 insertion(+)

diff --git a/helpers/make-mailman b/helpers/make-mailman
index 67da46bc..6bba84f4 100644
--- a/helpers/make-mailman
+++ b/helpers/make-mailman
@@ -20,6 +20,7 @@
 VERSION=1
 
 EXTERNAL='deb-src http://ftp.us.debian.org/debian stable main'
+REPOKEY=EF0F382A1A7B6500
 
 . ./config
 
-- 
GitLab