From f0941a80ff12a781abc3fb57254c42b1fd839031 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Sat, 8 Aug 2026 07:05:29 +0200 Subject: [PATCH] chore(deps): bump thirdparty/eigen from `769c72f` to `b4631f5` (#962) Bumps [thirdparty/eigen](https://gitlab.com/libeigen/eigen) from `769c72f` to `b4631f5`. - [Release notes](https://gitlab.com/libeigen/eigen/tags) - [Commits](https://gitlab.com/libeigen/eigen/compare/769c72fd8019e389810d1de1e7c243521a43b594...b4631f57a377d73ce79e36fd1cb9a16d4024c88d) --- updated-dependencies: - dependency-name: thirdparty/eigen dependency-version: b4631f57a377d73ce79e36fd1cb9a16d4024c88d 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 769c72fd..b4631f57 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 769c72fd8019e389810d1de1e7c243521a43b594 +Subproject commit b4631f57a377d73ce79e36fd1cb9a16d4024c88d