unblock 737307 by 737387 thanks MPFI is only an optional dependency of CGAL. Currently it is disabled in the configuration used by the Debian package, but mentioned in Suggests: for users that want to enable it manually.
Multiarch support for MPFI might still be nice to have, but less important for CGAL. Joachim -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
