Skip to content
GitLab

Mark Eigen as dependency

Merged Marcus Mohr requested to merge mohr-master-patch-81519 into master

Since we can no longer built without Eigen, it no longer belongs in the "optional" section