From bfc78da2aba362902d5078beb16c1e1b35b0f695 Mon Sep 17 00:00:00 2001
From: Nur a bot <joerg.nur-bot@thalheim.io>
Date: Mon, 18 Mar 2019 18:35:17 +0000
Subject: [PATCH] automatic update

---
 repos.json.lock | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos.json.lock b/repos.json.lock
index fbe6f658e..5788755c7 100644
--- a/repos.json.lock
+++ b/repos.json.lock
@@ -6,8 +6,8 @@
             "url": "https://github.com/0x4A6F/nur-packages"
         },
         "INFO4-19": {
-            "rev": "337ff3017e15880ffeaa0861fd0a1adf30720eab",
-            "sha256": "1f8ilv1klfc6x3bllkq48f5r085h6cn6i0g1ngp5h6z17v5gywrk",
+            "rev": "8117c65c34a1a21294b58e9d3f72d0fa9abaa71f",
+            "sha256": "1rw85mvna6dniypyv3dwms1y494v1si3z9mgvks07ccmp09hlla5",
             "url": "https://gricad-gitlab.univ-grenoble-alpes.fr/Projets-INFO4/18-19/19/code"
         },
         "bb010g": {