diff --git a/extension/repo b/extension/repo
index 33d70f9..417ddad 160000
--- a/extension/repo
+++ b/extension/repo
@@ -1 +1 @@
-Subproject commit 33d70f998901cf1c9cbf857f68c1d2bf4d5c8ceb
+Subproject commit 417ddadf345287fd3f78283c042646e6faa88793