From 7eda9dee49dd520fea6510ea9ba718a2b0b82c9e Mon Sep 17 00:00:00 2001
From: Gordon Williams <gw@pur3.co.uk>
Date: Mon, 21 Nov 2022 16:37:45 +0000
Subject: [PATCH] fix tools when running under node.js

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

diff --git a/core b/core
index 052b072fb..8840c7248 160000
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit 052b072fb745934cceff568c743717330b7e5b32
+Subproject commit 8840c7248d4ce757e0011dcedf906b8e3dfe7125