Merge pull request #251 from Laupetin/dependabot/submodules/thirdparty/eigen-072ec9d

chore(deps): bump thirdparty/eigen from `66927f7` to `072ec9d`
This commit is contained in:
Jan authored and GitHub committed 2024-09-07 08:52:18 +02:00
commit 96b4fdbd3f
1 file changed
+1 -1