Merge pull request #504 from Laupetin/dependabot/submodules/thirdparty/eigen-8a8fbc8

chore(deps): bump thirdparty/eigen from `c487a4f` to `8a8fbc8`
This commit is contained in:
Jan authored and GitHub committed 2025-08-30 09:36:14 +02:00
commit 495e85f945
1 file changed
+1 -1