Bump tooling pointer

Sergio0694 · Sergio0694 · commit dba232256389 · 2024-12-26T12:08:11.000+01:00
diff --git a/tooling b/tooling
@@ -1 +1 @@
-Subproject commit eb7c4426ef1bcaabad255fd6463057b75befad34
+Subproject commit 93931e0beda3520fcc68e8bf9975a4ebb7067674
