From 6c9385718d0e81e451def5e3668319a5bc598f3f Mon Sep 17 00:00:00 2001
From: Jose Luis Blanco-Claraco <joseluisblancoc@gmail.com>
Date: Thu, 12 Dec 2019 10:17:33 +0100
Subject: [PATCH] Update Eigen project git repo

The other git repository is marked as deprecated
---
 .gitmodules | 2 +-
 ext/eigen   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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