Merge pull request #263 from Laupetin/dependabot/submodules/thirdparty/eigen-84282c4

chore(deps): bump thirdparty/eigen from `072ec9d` to `84282c4`
This commit is contained in:
Jan authored and GitHub committed 2024-09-14 15:33:13 +02:00
commit c7b31caadb
1 file changed
+1 -1