From a32fc33bf8abecfd767972d32d5720f8763a5fe7 Mon Sep 17 00:00:00 2001 From: Gautier Hattenberger Date: Tue, 30 Mar 2021 00:22:25 +0200 Subject: [PATCH] keep eigen on a valid existing tag, 3.3.9 in this case (#2682) --- sw/ext/eigen | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sw/ext/eigen b/sw/ext/eigen index 84911f9c05..0fd6b4f71d 160000 --- a/sw/ext/eigen +++ b/sw/ext/eigen @@ -1 +1 @@ -Subproject commit 84911f9c05ea7a40e4cbdc4d31d53ccc0ba9de29 +Subproject commit 0fd6b4f71dd85b2009ee4d1aeb296e2c11fc9d68