From a59b713e93fd953af6880b6dd93968fa253a0814 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Sat, 12 Sep 2026 09:43:26 +0200 Subject: [PATCH] chore(deps): bump thirdparty/eigen from `17d8ddb` to `33e7d53` (#999) Bumps [thirdparty/eigen](https://gitlab.com/libeigen/eigen) from `17d8ddb` to `33e7d53`. - [Release notes](https://gitlab.com/libeigen/eigen/tags) - [Commits](https://gitlab.com/libeigen/eigen/compare/17d8ddbd22c277c6bd20e19e5b8d128b0135a9f4...33e7d5337c4914c4c05937c06d2dee615835fcb2) --- updated-dependencies: - dependency-name: thirdparty/eigen dependency-version: 33e7d5337c4914c4c05937c06d2dee615835fcb2 dependency-type: direct:production ... Signed-off-by: dependabot[bot] Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> --- thirdparty/eigen | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/thirdparty/eigen b/thirdparty/eigen index 17d8ddbd..33e7d533 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 17d8ddbd22c277c6bd20e19e5b8d128b0135a9f4 +Subproject commit 33e7d5337c4914c4c05937c06d2dee615835fcb2