diff --git a/.gitmodules b/.gitmodules index aa9b9e1daa..5e853fe797 100644 --- a/.gitmodules +++ b/.gitmodules @@ -6,7 +6,7 @@ url = https://github.com/wjakob/glfw [submodule "ext/eigen"] path = ext/eigen - url = https://github.com/eigenteam/eigen-git-mirror.git + url = https://gitlab.com/libeigen/eigen.git shallow = true [submodule "ext/pybind"] path = ext/pybind11 diff --git a/ext/eigen b/ext/eigen index cf794d3b74..88062b7fed 160000 --- a/ext/eigen +++ b/ext/eigen @@ -1 +1 @@ -Subproject commit cf794d3b741a6278df169e58461f8529f43bce5d +Subproject commit 88062b7feddcf3e8354c6857753523c2a80d864f