From 03bc235c78215945cd8f8928c34bc38f79a41ccf Mon Sep 17 00:00:00 2001
From: AKP <abi@tdpain.net>
Date: Fri, 15 Dec 2023 16:38:09 +0000
Subject: [PATCH] Update `teaching-src`

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

diff --git a/teaching-src b/teaching-src
index df600d8..5a3fd65 160000
--- a/teaching-src
+++ b/teaching-src
@@ -1 +1 @@
-Subproject commit df600d8589918af91674f70604c9af111c5b6ba0
+Subproject commit 5a3fd65769680630f88d539e452ff0818edc1791