Subject: [bug#29046] [PATCH] gnu: linux-libre: Change URL to HTTPS.

From: Rutger Helling <[email-masked]>
Date: Mon, 30 Oct 2017 08:06:39 +0100

I noticed linux-libre had already been updated, so this new patch only
changes the URL to HTTPS.

From b68a2c630258324628a7ef34005ff1d790a3a139 Mon Sep 17 00:00:00 2001
From: Rutger Helling <[email-masked]>
Date: Mon, 30 Oct 2017 08:02:10 +0100
Subject: [PATCH] gnu: linux-libre: Change URL to HTTPS.

* gnu/packages/linux.scm (linux-libre): Change URL to HTTPS.
---
 gnu/packages/linux.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index 8a817df34..6315b674c 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -140,7 +140,7 @@ defconfig.  Return the appropiate make target if applicable, otherwise return
 (define (linux-libre-urls version)
   "Return a list of URLs for Linux-Libre VERSION."
   (list (string-append
-         "http://linux-libre.fsfla.org/pub/linux-libre/releases/"
+         "https://linux-libre.fsfla.org/pub/linux-libre/releases/"
          version "-gnu/linux-libre-" version "-gnu.tar.xz")
 
         ;; XXX: Work around <http://bugs.gnu.org/14851>.
-- 
2.14.3