From 9bb07b365a42b4f10c94813f3b8679debf0497b8 Mon Sep 17 00:00:00 2001
From: Philipp Rothmann <philipprothmann@posteo.de>
Date: Thu, 4 Aug 2022 14:48:53 +0200
Subject: [PATCH] update tools

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

diff --git a/docs/tools b/docs/tools
index 854efb0..f52cd8d 160000
--- a/docs/tools
+++ b/docs/tools
@@ -1 +1 @@
-Subproject commit 854efb0730adbc18f89720076c3ac3c77c59ecb7
+Subproject commit f52cd8d758ec67c9c1d8abc88f51d5eb01ad2778