diff --git a/extension/repo b/extension/repo
index 948f6c7..9a71eb9 160000
--- a/extension/repo
+++ b/extension/repo
@@ -1 +1 @@
-Subproject commit 948f6c785e9556bb9b5934109d4b443caf2f1cd2
+Subproject commit 9a71eb94e23dd8cb02cd103c98f7eb8191ece251