diff --git a/.gitmodules b/.gitmodules
index 082cca8232a4539ad1276d212fd7abc76d7adda2..5291ebd9d8a81aba72fb3c71ce52d0c06e719a95 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,6 @@
 [submodule "isl"]
 	path = isl
-	url = git://repo.or.cz/isl.git
+	url = git://github.com/inducer/isl
 [submodule "bpl-subset"]
 	path = bpl-subset
 	url = git://github.com/inducer/bpl-subset
diff --git a/isl b/isl
index dcd4093537ca5e7b2c4997cc4c4c71f6429afedd..e620469bd088df7ba4e77e120ff4274692c44381 160000
--- a/isl
+++ b/isl
@@ -1 +1 @@
-Subproject commit dcd4093537ca5e7b2c4997cc4c4c71f6429afedd
+Subproject commit e620469bd088df7ba4e77e120ff4274692c44381