From 5d871dd6bf180b5ac8f6c883907caf103663e202 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 20 Sep 2024 01:02:49 +0000 Subject: [PATCH] build(deps): bump webtools from `7a78944` to `3ed0ed9` Bumps [webtools](https://github.com/espruino/EspruinoWebTools) from `7a78944` to `3ed0ed9`. - [Commits](https://github.com/espruino/EspruinoWebTools/compare/7a78944473ea84cc5834ebd11ac2d808e78bb67b...3ed0ed9061df6678e5490b19ca03190ed2ecc85b) --- 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 7a78944473..3ed0ed9061 160000 --- a/webtools +++ b/webtools @@ -1 +1 @@ -Subproject commit 7a78944473ea84cc5834ebd11ac2d808e78bb67b +Subproject commit 3ed0ed9061df6678e5490b19ca03190ed2ecc85b