Skip to content

Properly separate public/private dependencies

Nicolas Fella requested to merge work/deps into master

This avoids leaking the Eigen dependency to consumers

Merge request reports