From 4333df563cb6a667c96ad1ecbeb7fe2a91c441fa Mon Sep 17 00:00:00 2001
From: HT Chores <chores@mail.hubrecht.ovh>
Date: Wed, 26 Feb 2025 12:15:50 +0000
Subject: [PATCH] chore(npins): Update colmena

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

diff --git a/npins/sources.json b/npins/sources.json
index aef0d283..bb03c2e3 100644
--- a/npins/sources.json
+++ b/npins/sources.json
@@ -57,9 +57,9 @@
         "url": "https://git.dgnum.eu/DGNum/colmena"
       },
       "branch": "main",
-      "revision": "b9a1d2f7ff5ee9fcab8ed766457d9c48b3fe8898",
+      "revision": "3ef5ba8658f68564ed268828ccee39a363200188",
       "url": null,
-      "hash": "0v6z7a2b6qs84725wm4kak15l0nsnkwf2y7p0wwl8m0xjg0wxpyg"
+      "hash": "1hhbk5a1mapv25n5hpspyzdhp57smakisq7xd7j7fvy80a6xq6mx"
     },
     "dgsi": {
       "type": "Git",