From 8dbba71944820b95e0fd0ef9a46ff96fa3442403 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 25 Apr 2025 22:28:21 +0000 Subject: [PATCH] chore(deps): bump thirdparty/eigen from `33f5f59` to `7294434` Bumps [thirdparty/eigen](https://gitlab.com/libeigen/eigen) from `33f5f59` to `7294434`. - [Release notes](https://gitlab.com/libeigen/eigen/tags) - [Commits](https://gitlab.com/libeigen/eigen/compare/33f5f596143d0fce32316ec6fa4bd9f23b4dd9d2...729443409942a1816ddf74b95224003b83f4925c) --- updated-dependencies: - dependency-name: thirdparty/eigen dependency-version: 729443409942a1816ddf74b95224003b83f4925c 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 33f5f596..72944340 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 33f5f596143d0fce32316ec6fa4bd9f23b4dd9d2 +Subproject commit 729443409942a1816ddf74b95224003b83f4925c