From 78426fc6e27ab15b0b62214989881fa7ac50f2b8 Mon Sep 17 00:00:00 2001
From: Tom Hubrecht <tom.hubrecht@dgnum.eu>
Date: Wed, 28 Feb 2024 20:19:38 +0100
Subject: [PATCH] chore(static): Update

---
 machines/web01/static/npins/sources.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/machines/web01/static/npins/sources.json b/machines/web01/static/npins/sources.json
index d106c3c..00100db 100644
--- a/machines/web01/static/npins/sources.json
+++ b/machines/web01/static/npins/sources.json
@@ -29,9 +29,9 @@
         "url": "https://git.dgnum.eu/DGNum/interq.ens.fr.git"
       },
       "branch": "main",
-      "revision": "bc91866b5a917e0130e5d9577c5caebb8576d0fa",
+      "revision": "7124fc712d4d190e5d2a244aed9cefac72f79f3b",
       "url": null,
-      "hash": "1j4hnlnc8hi0kw7b1yb2fjy3kfrny2pp7gx0c245w2z8qwhjhnll"
+      "hash": "11p22g962b1aqll7hpxmb1n2hnhxw4iz1whzf74bgskgqnc7ki1l"
     },
     "lanuit.ens.fr": {
       "type": "Git",