Update Eigen project git repo

jlblancoc · jlblancoc · commit 6c9385718d0e · 2019-12-12T10:52:43.000+01:00
The other git repository is marked as deprecated
diff --git 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
@@ -1 +1 @@
-Subproject commit cf794d3b741a6278df169e58461f8529f43bce5d
+Subproject commit 88062b7feddcf3e8354c6857753523c2a80d864f
