diff --git a/.gitmodules b/.gitmodules
index ead9d3de57ff04a1eeea14d455fd1cf1c7e61c5e..a37bf2a40bc9a5ccf056078f99161b223b03af4e 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,6 @@
 [submodule "isl"]
 	path = isl
-	url = http://repo.or.cz/r/isl.git
+	url = git://github.com/inducer/isl-mirror.git
 [submodule "bpl-subset"]
 	path = bpl-subset
 	url = git://github.com/inducer/bpl-subset
diff --git a/isl b/isl
index addd6871b4f5049cc0cd8654d921717d1949633c..52f26788cff609c4f142bec0e7d29332b4a79c3c 160000
--- a/isl
+++ b/isl
@@ -1 +1 @@
-Subproject commit addd6871b4f5049cc0cd8654d921717d1949633c
+Subproject commit 52f26788cff609c4f142bec0e7d29332b4a79c3c