From 0dd5a471dc47a0aef137be3bb91820a2de7854d9 Mon Sep 17 00:00:00 2001
From: Robrecht Cannoodt <rcannood@gmail.com>
Date: Thu, 9 Jan 2025 09:09:45 +0100
Subject: [PATCH] switch commit

---
 _openproblems | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_openproblems b/_openproblems
index f52c8c4a..7ffb753c 160000
--- a/_openproblems
+++ b/_openproblems
@@ -1 +1 @@
-Subproject commit f52c8c4ace3696767da9aec211fc6e24f9f246c0
+Subproject commit 7ffb753c890bf9fb26725678387b8c1277a8dd86