diff --git a/repos/Ahornberg b/repos/Ahornberg
index 1bafab9c..13e58d7d 160000
--- a/repos/Ahornberg
+++ b/repos/Ahornberg
@@ -1 +1 @@
-Subproject commit 1bafab9c41c783e645982288e161827636050dbb
+Subproject commit 13e58d7d1724a5b292c53761806a1aa8701bcd09