Skip to content

eigen3: update from 3.3.7 to 3.4.0 #2414

Merged
merged 1 commit into from
Oct 12, 2021
Merged

eigen3: update from 3.3.7 to 3.4.0 #2414

merged 1 commit into from
Oct 12, 2021

Conversation

thomas
Copy link
Collaborator

@thomas thomas commented Oct 11, 2021

No description provided.

@thomas thomas merged commit d4f7de0 into master Oct 12, 2021
Sign in to join this conversation on GitHub.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants