Skip to content

Mark Eigen as dependency

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

Merge request reports