Merge pull request #336 from Laupetin/dependabot/submodules/thirdparty/eigen-9836e8d

chore(deps): bump thirdparty/eigen from `7bb23b1` to `9836e8d`
This commit is contained in:
Jan authored and GitHub committed 2025-01-11 00:32:24 +01:00
commit 50ece7dee2
1 file changed
+1 -1