From 08afc6a9e8eff44ba6d5bbcefe6afeacc609fcb5 Mon Sep 17 00:00:00 2001
From: Gordon Williams <gw@pur3.co.uk>
Date: Mon, 18 Sep 2023 13:43:42 +0100
Subject: [PATCH] When adding translations, switch to using our own toJSON
 implementation which will escape any chars that fall into the UTF8 character
 start range. Fixes https://github.com/espruino/Espruino/issues/2417

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

diff --git a/core b/core
index 71813fe2e..11f8e16d2 160000
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit 71813fe2eaf19987cec07db850ab9d1959694f96
+Subproject commit 11f8e16d2ebb726bb92f29d812dc3ccba4f362a9