From 3d0d99559bdf72ac9078d395000f8cf72174264f Mon Sep 17 00:00:00 2001
From: Philipp Rothmann <philipprothmann@posteo.de>
Date: Thu, 4 Aug 2022 14:27:39 +0200
Subject: [PATCH] update tools

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

diff --git a/docs/tools b/docs/tools
index 5d3e438..854efb0 160000
--- a/docs/tools
+++ b/docs/tools
@@ -1 +1 @@
-Subproject commit 5d3e4383690b1823e172ef9dcbb7000de488b247
+Subproject commit 854efb0730adbc18f89720076c3ac3c77c59ecb7