From cf9b54eec11d9fbac7ce9ecd0b2eca10f3a69240 Mon Sep 17 00:00:00 2001 From: Vladyslav Usenko Date: Wed, 21 Oct 2020 16:09:56 +0200 Subject: [PATCH] Update eigen --- thirdparty/basalt-headers | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/thirdparty/basalt-headers b/thirdparty/basalt-headers index cd2f230..08aa494 160000 --- a/thirdparty/basalt-headers +++ b/thirdparty/basalt-headers @@ -1 +1 @@ -Subproject commit cd2f2300506850c63397ea49f1edd573c84b7de1 +Subproject commit 08aa494ba7bcb3c4d4a289fc0a30501e41431551