From 3cce45eb63558c23a126a31b1b0a3155bd1bb620 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 24 May 2024 22:52:52 +0000 Subject: [PATCH] chore(deps): bump thirdparty/eigen from `b9b1c86` to `5a9f66f` Bumps [thirdparty/eigen](https://gitlab.com/libeigen/eigen) from `b9b1c86` to `5a9f66f`. - [Release notes](https://gitlab.com/libeigen/eigen/tags) - [Commits](https://gitlab.com/libeigen/eigen/compare/b9b1c8661ea77e3ab23699aafae1b593926a2c4e...5a9f66fb35d03a4da9ef8976e67a61b30aa16dcf) --- updated-dependencies: - dependency-name: thirdparty/eigen dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- thirdparty/eigen | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/thirdparty/eigen b/thirdparty/eigen index b9b1c866..5a9f66fb 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit b9b1c8661ea77e3ab23699aafae1b593926a2c4e +Subproject commit 5a9f66fb35d03a4da9ef8976e67a61b30aa16dcf