Merge pull request #238 from Laupetin/dependabot/submodules/thirdparty/eigen-3b5a1b4

chore(deps): bump thirdparty/eigen from `92e373e` to `3b5a1b4`
This commit is contained in:
Jan authored and GitHub committed 2024-08-24 00:40:25 +02:00
commit 5aa5ecc23b
1 file changed
+1 -1