diff --git a/commit.ref b/commit.ref
index 831c1d8e..25f56ff3 160000
--- a/commit.ref
+++ b/commit.ref
@@ -1 +1 @@
-Subproject commit 831c1d8e37311c1f7a874005ef25d7554395e794
+Subproject commit 25f56ff3c2bf80af0a1474b8e35391d41049b7fe