From b239b3946b36d28fcbbcacacfc833fe1af6abece Mon Sep 17 00:00:00 2001
From: HT Chores <chores@mail.hubrecht.ovh>
Date: Sat, 4 Jan 2025 16:07:41 +0000
Subject: [PATCH] chore(npins): Update liminix

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

diff --git a/npins/sources.json b/npins/sources.json
index 948b4d4..78f514e 100644
--- a/npins/sources.json
+++ b/npins/sources.json
@@ -143,9 +143,9 @@
         "url": "https://git.dgnum.eu/DGNum/liminix"
       },
       "branch": "main",
-      "revision": "473d6acc3de70bd6dbbb4a77af54f508f25c3c9c",
+      "revision": "1322de1ee0cdb19fead79e12ab279ee0b575019a",
       "url": null,
-      "hash": "00slsh0yqd8n8jcx3sbxgcmw1z28bnszy87pfs0ynfkl3bldzs3d"
+      "hash": "07nk6nik97k8a57cf17dcj3gn2lbhw1myymrxpqc2aqa3haj754k"
     },
     "linkal": {
       "type": "Git",