Merge pull request #811 from Laupetin/dependabot/submodules/thirdparty/eigen-039764e

chore(deps): bump thirdparty/eigen from `48d1f4a` to `039764e`
This commit is contained in:
Jan authored and GitHub committed 2026-05-23 07:20:50 +02:00
commit 40e5a9de97
1 file changed
+1 -1