From 841b0412cf5aa3f387d6a013565a08cd6192da81 Mon Sep 17 00:00:00 2001
From: Nur a bot <joerg.nur-bot@thalheim.io>
Date: Wed, 6 Mar 2019 18:24:07 +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 589ee5629..d500cf1d5 100644
--- a/repos.json.lock
+++ b/repos.json.lock
@@ -6,8 +6,8 @@
             "url": "https://github.com/0x4A6F/nur-packages"
         },
         "INFO4-19": {
-            "rev": "98e27da573b559c293173146c1eafb916947ad34",
-            "sha256": "0bwbi64w3kcn0dp0bfppk2b35gl01wfrsmfm4mf554a8frl34m1p",
+            "rev": "41d8ebfba6e6ab137fb501fbfc9410fb4f1f902f",
+            "sha256": "08cl6ma45mxci676qds5rzm0iw2px17kff6mpflws4rzb3i9qlis",
             "url": "https://gricad-gitlab.univ-grenoble-alpes.fr/Projets-INFO4/18-19/19/code"
         },
         "bb010g": {