From 8ca9a89dd0dc04ba6fd781da5ac2bc8a9102dead Mon Sep 17 00:00:00 2001
From: Gordon Williams <gw@pur3.co.uk>
Date: Tue, 7 Mar 2023 15:14:40 +0000
Subject: [PATCH] new tools.js

---
 core | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core b/core
index 96d7ec120..2bb1e55d3 160000
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit 96d7ec120740726b2fdc63d8c9ce760b38b3edd3
+Subproject commit 2bb1e55d32d640312fe08cf54de1cd9c498cd31e