Merge pull request #741 from Laupetin/dependabot/submodules/thirdparty/eigen-86f2c6e

chore(deps): bump thirdparty/eigen from `ec28a25` to `86f2c6e`
This commit is contained in:
Jan authored and GitHub committed 2026-04-19 21:57:31 +02:00
commit 484f5e486e
1 file changed
+1 -1