Closed toloudis closed 2 years ago
Pin Eigen to recommended commit to resolve build errors, to fix #60
The long commit history is negligible here and can be completely squashed. The real change is in the last commit.
Pin Eigen to recommended commit to resolve build errors, to fix #60