From ced22e2b165e83bd773fe4581d615980319b9c19 Mon Sep 17 00:00:00 2001
From: Jeroen van den Hout <jlvandenhout@gmail.com>
Date: Thu, 30 May 2024 08:43:50 +0200
Subject: [PATCH] Update tips submodule

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

diff --git a/docs/external/tips b/docs/external/tips
index e30ee794290..b0590b73a30 160000
--- a/docs/external/tips
+++ b/docs/external/tips
@@ -1 +1 @@
-Subproject commit e30ee7942900e6d9343650d3c5325673951bb159
+Subproject commit b0590b73a30a56976e82017d25cb4e757c99ae36