Merge pull request #680 from Laupetin/dependabot/submodules/thirdparty/eigen-9b709e8

chore(deps): bump thirdparty/eigen from `afb4380` to `9b709e8`
This commit is contained in:
Jan authored and GitHub committed 2026-02-13 23:56:31 +01:00
commit f679c26024
1 file changed
+1 -1