diff --git a/repos/Ahornberg b/repos/Ahornberg
index d2f81147..72b98b51 160000
--- a/repos/Ahornberg
+++ b/repos/Ahornberg
@@ -1 +1 @@
-Subproject commit d2f81147fa5478e61ca77304889b9e355bde22d8
+Subproject commit 72b98b51cb957d5b05380944e8a0c1d3bb27d99f