diff --git a/[refs] b/[refs]
index 44e721f434d1..2c695eded639 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 86fbe9bb599fcaf7e92e38dbfdad0414a2d68f7d
+refs/heads/master: 715448ff52e71ed055f352ffcba1ab8e4455ff99