From 55130c8c936141ce59f9827bfc0d46028f6c5cad Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Fri, 31 Jul 2020 18:34:34 +0200
Subject: [PATCH] updated source version

---
 snap.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/snap.html b/snap.html
index 66f2bc2c..adbed025 100755
--- a/snap.html
+++ b/snap.html
@@ -8,7 +8,7 @@
         <script src="src/symbols.js?version=2020-07-21"></script>
         <script src="src/widgets.js?version=2020-07-27"></script>
         <script src="src/blocks.js?version=2020-07-29"></script>
-        <script src="src/threads.js?version=2020-07-27"></script>
+        <script src="src/threads.js?version=2020-07-31"></script>
         <script src="src/objects.js?version=2020-07-26"></script>
         <script src="src/gui.js?version=2020-07-31"></script>
         <script src="src/paint.js?version=2020-05-17"></script>