Merge pull request #438 from Laupetin/dependabot/submodules/thirdparty/eigen-171bd08

chore(deps): bump thirdparty/eigen from `434a2fc` to `171bd08`
This commit is contained in:
Jan authored and GitHub committed 2025-05-17 08:11:44 +02:00
commit f47c0c5074
1 file changed
+1 -1