From f7be78517fd347ab1a15f75dbdc0fc382c6cb4ef Mon Sep 17 00:00:00 2001 From: Gordon Williams Date: Wed, 30 Apr 2025 15:48:41 +0100 Subject: [PATCH] use updated web tools --- webtools | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/webtools b/webtools index a6a08129c..b03155d18 160000 --- a/webtools +++ b/webtools @@ -1 +1 @@ -Subproject commit a6a08129c150af38de9f00fa01e3223de856908b +Subproject commit b03155d1835a9904c335b65dc22326cb606e7cdd