From 8dc1f5cfa7e98bada22e1455486f77c2421a6026 Mon Sep 17 00:00:00 2001
From: David Runge <dave@sleepmap.de>
Date: Fri, 1 Nov 2024 10:51:31 +0100
Subject: Update stochas

Signed-off-by: David Runge <dave@sleepmap.de>
---
 extra.old.json | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'extra.old.json')

diff --git a/extra.old.json b/extra.old.json
index 87a9b43..68aeeb4 100644
--- a/extra.old.json
+++ b/extra.old.json
@@ -2416,7 +2416,9 @@
       "version": "5.0.1"
     },
     "stochas": {
-      "version": "v1.3.10"
+      "version": "v1.3.12",
+      "gitref": "refs/tags/v1.3.12",
+      "revision": "c49e2a199e68c99235ae54b73612c1ebce45c5ce"
     },
     "suil": {
       "version": "v0.10.20"
-- 
cgit v1.2.3-70-g09d2