diff --git a/.gitmodules b/.gitmodules
index 88e3922f8f..fb46c7e2cb 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,4 +1,4 @@
 [submodule "sherlodoc"]
 	path = sherlodoc
-	url = https://github.com/EmileTrotignon/sherlodoc
+	url = https://github.com/Julow/sherlodoc
 	branch = odoc3_compat
diff --git a/sherlodoc b/sherlodoc
index 0357233acf..e89e97f352 160000
--- a/sherlodoc
+++ b/sherlodoc
@@ -1 +1 @@
-Subproject commit 0357233acf56936db6760cba573f7e77750b5428
+Subproject commit e89e97f3524ff2a9929eda6b6d247d9bca02bf92