From 9f7a5b15c6d9c14c6869e1cc76c0ca58e87f312e Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Tue, 19 Nov 2024 01:07:11 +0000 Subject: [PATCH] build(deps): bump webtools from `c3ca6c7` to `93d2ce5` Bumps [webtools](https://github.com/espruino/EspruinoWebTools) from `c3ca6c7` to `93d2ce5`. - [Commits](https://github.com/espruino/EspruinoWebTools/compare/c3ca6c7a5699a4d4f1f643438bf4f5dd979dba82...93d2ce5ebb819c197bcafa616e0b0689a48d263f) --- 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 c3ca6c7a5..93d2ce5eb 160000 --- a/webtools +++ b/webtools @@ -1 +1 @@ -Subproject commit c3ca6c7a5699a4d4f1f643438bf4f5dd979dba82 +Subproject commit 93d2ce5ebb819c197bcafa616e0b0689a48d263f