From bf4a187ee1b2e5ea9c14f56d3a7f8a12f9cb3646 Mon Sep 17 00:00:00 2001
From: "jeremy@jermolene.com" <jeremy@jermolene.com>
Date: Fri, 2 Sep 2022 20:05:24 +0100
Subject: [PATCH] Fix inadvertent whitespace change

---
 boot/boot.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/boot/boot.js b/boot/boot.js
index 8215301f7..f902e9956 100644
--- a/boot/boot.js
+++ b/boot/boot.js
@@ -2675,4 +2675,4 @@ if(typeof(exports) !== "undefined") {
 } else {
 	_boot(window.$tw);
 }
-//# sourceURL=$:/boot/boot.js
\ No newline at end of file
+//# sourceURL=$:/boot/boot.js