diff --git a/extension/repo b/extension/repo
index bede50b..9725eb9 160000
--- a/extension/repo
+++ b/extension/repo
@@ -1 +1 @@
-Subproject commit bede50bedaacfe198de2e9a0015b454295dbb1e4
+Subproject commit 9725eb9983edb8e3e1958e38bcfd73e34f199eb5