From 4100de0f1c9f61943580a2e4106ea30633999898 Mon Sep 17 00:00:00 2001
From: Philipp Rothmann <philipprothmann@posteo.de>
Date: Wed, 21 Dec 2022 15:27:44 +0100
Subject: [PATCH] chore: update tools

---
 docs/tools | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/tools b/docs/tools
index f52cd8d..5c806d3 160000
--- a/docs/tools
+++ b/docs/tools
@@ -1 +1 @@
-Subproject commit f52cd8d758ec67c9c1d8abc88f51d5eb01ad2778
+Subproject commit 5c806d36311589acabbfc6fea52eb78a9d43d423