diff --git a/repos/Ahornberg b/repos/Ahornberg
index 07f812d3..def54562 160000
--- a/repos/Ahornberg
+++ b/repos/Ahornberg
@@ -1 +1 @@
-Subproject commit 07f812d3aafe5fa1765f9b0f719495d4182a68bf
+Subproject commit def54562a9da90e71f1fc6b8ab3804ad529c2923