diff --git a/repos/Ahornberg b/repos/Ahornberg
index 13e58d7d..5a4728ee 160000
--- a/repos/Ahornberg
+++ b/repos/Ahornberg
@@ -1 +1 @@
-Subproject commit 13e58d7d1724a5b292c53761806a1aa8701bcd09
+Subproject commit 5a4728eec9b027de7696e8cf9ba5e8c734170a8d