From 1d371333c2faec65b666893748d9fe835a047ba9 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 5 Apr 2024 00:41:28 +0000 Subject: [PATCH] Bump webtools from `7e42839` to `3a55438` Bumps [webtools](https://github.com/espruino/EspruinoWebTools) from `7e42839` to `3a55438`. - [Commits](https://github.com/espruino/EspruinoWebTools/compare/7e4283948f68b1dd14a59a73e544c537a26c800a...3a55438189240c0f40cf280128d663806d04a5be) --- updated-dependencies: - dependency-name: webtools dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- webtools | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/webtools b/webtools index 7e4283948..3a5543818 160000 --- a/webtools +++ b/webtools @@ -1 +1 @@ -Subproject commit 7e4283948f68b1dd14a59a73e544c537a26c800a +Subproject commit 3a55438189240c0f40cf280128d663806d04a5be