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] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
This commit is contained in:
dependabot[bot]
2026-08-08 07:05:29 +02:00
committed by GitHub
co-authored by dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
parent 101118643d
commit f0941a80ff