Merge pull request #211 from Laupetin/dependabot/submodules/thirdparty/eigen-02bcf9b

chore(deps): bump thirdparty/eigen from `392b95b` to `02bcf9b`
This commit is contained in:
Jan authored and GitHub committed 2024-06-15 10:02:44 +02:00
commit 4a8ee0ab3c
1 file changed
+1 -1