From 5ca352ead269e9037c0314140c2fe7854b3fbe2d Mon Sep 17 00:00:00 2001
From: Alex Griffin <a@ajgrf.com>
Date: Wed, 10 Jul 2019 08:41:57 -0500
Subject: [PATCH] nongnu: linux: Update to 5.1.17.

* nongnu/packages/linux.scm (linux): Update to 5.1.17.
---
 nongnu/packages/linux.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/nongnu/packages/linux.scm b/nongnu/packages/linux.scm
index dfdeccb5..dc3ec7ee 100644
--- a/nongnu/packages/linux.scm
+++ b/nongnu/packages/linux.scm
@@ -48,8 +48,8 @@
 on hardware which requires nonfree software to function.")))
 
 (define-public linux
-  (corrupt-linux linux-libre "5.1.16"
-                 "0gms4zkx97njzk1czsnih6jj9f6knismixxndn1h11vq7sz5agla"))
+  (corrupt-linux linux-libre "5.1.17"
+                 "0gf4jqmq6b66jrlygmvn2z8xif3n83yq85jldbm3r257crww6dar"))
 
 (define-public linux-4.19
   (corrupt-linux linux-libre-4.19 "4.19.58"