From 73f1f306ff7cda00317d88573af039e2036b23ad Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 6 May 2024 00:59:27 +0000 Subject: [PATCH] build(deps): bump webtools from `e447b17` to `71f271a` Bumps [webtools](https://github.com/espruino/EspruinoWebTools) from `e447b17` to `71f271a`. - [Commits](https://github.com/espruino/EspruinoWebTools/compare/e447b17d262c24cdffafb6789422ad43c48ecc5d...71f271a1c7be37efe4e472b7482b08ded1d0ab6f) --- 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 e447b17d2..71f271a1c 160000 --- a/webtools +++ b/webtools @@ -1 +1 @@ -Subproject commit e447b17d262c24cdffafb6789422ad43c48ecc5d +Subproject commit 71f271a1c7be37efe4e472b7482b08ded1d0ab6f