From 2be0cdcdb83fcc44645a6a3086fe05d93de7f452 Mon Sep 17 00:00:00 2001
From: Tom Hubrecht <tom.hubrecht@dgnum.eu>
Date: Thu, 29 Feb 2024 20:01:47 +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 00100db..9447eeb 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": "7124fc712d4d190e5d2a244aed9cefac72f79f3b",
+      "revision": "d54ac09ba3369f3b83b0381e954c9dcabb5361a5",
       "url": null,
-      "hash": "11p22g962b1aqll7hpxmb1n2hnhxw4iz1whzf74bgskgqnc7ki1l"
+      "hash": "1jj3nh6nz3xg0n72y55ad1fpw8nrl8kp4vlnmrhns56ylhi2q6dl"
     },
     "lanuit.ens.fr": {
       "type": "Git",